void init_keyboard_handler();