void init_keyboard();