jtmm/include/menu.h

char menu(int *level_id, char *disable_up_key, char *game_loop,
	unsigned int step);
char menu_level_selection(int *level_id);