Symbol: uart_putc