void uart_init();
void uart_sendbyte(uint8_t byte);
uint8_t uart_recvbyte();