void menu_init(void); void menu_prepare_emu(void); void menu_loop(void); void menu_notify_mode_change(int w, int h);