keyboard_next_device
keyboard_get_values, keyboard_put_values, keyboard_next_device },
char * keyboard_next_device(int);