void stdout_tx_str(const char *str);
void stdout_tx_strn(const char *str, uint len);
int stdin_rx_chr(void);