Symbol: uart_dbg_getc