void uart_init(void);
void uart_tx_strn(const char *buf, size_t len);