kbd_data_read_1
x = kbd_data_read_1();
buttons = kbd_data_read_1();
dx = kbd_data_read_1();
dy = kbd_data_read_1();
dt = kbd_data_read_1();
(void)kbd_data_read_1();
return kbd_data_read_1();
c = kbd_data_read_1();
if (i == 0 || kbd_data_read_1() != KBR_RSTDONE) {