Symbol: gdb_rx_char