void check_keyboard_events();