void ctl_uart_puts(CTL_UART_t *self, const char *str);
ctl_uart_puts writes the null-terminated string str to to the UART self.