void InitUART(void);
void putch(unsigned char byte);