/****************************************************************************
 *
 * print_hex_value (unsigned value)
 *
 *     	Arguments: (typical)
 *         value: The integer which will be printed
 *
 *     	Description: (typical)
 *        	This function will print the integer through the RS232 interface in a 
 *			32-bit hexadecimal representation.
 *		Pre: Value must be smaller or equal to 32-bits.
 *      Post: A hex representation of value is printed.
 *
 ****************************************************************************/
void print_hex_value(unsigned 32 value);

/****************************************************************************
 *
 * print_string (unsigned char *s)
 *
 *     	Arguments: (typical)
 *         s: Pointer to an array containg a string top print.
 *
 *     	Description: (typical)
 *        	This function will print a string through the RS232 interface.
 *		Pre:  The array must be /0 terminated.
 *      Post: The string is printed as is.
 *
 ****************************************************************************/
void print_string(unsigned char *s);


void print_eol(void);
void print_cr(void);
void print_cls(void);