Symbol: kbd_result_t