void uart_putc(unsigned char c);