// console i/o defines
#define U1TXBUFSIZE 64	// must be even power of 2
#define U1RXBUFSIZE 64	// must be even power of 2

// console i/o functions
void ConsoleInit (void);
void putchar (char ch);
void putstring (char *s);
void putstringcrlf (char *s);
void puthex4 (unsigned char a);
void puthex8 (unsigned char a);
void puthex16 (unsigned short a);
void puthex32 (unsigned long a);
short getchar (void);