mouse_next_device
mouse_get_values, mouse_put_values, mouse_next_device },
char * mouse_next_device(int);