Symbol: uart_dbg_putc