#include <flip_world.h> char *game_fps_choices[] = {"30", "60", "120", "240"}; const float game_fps_choices_2[] = {30.0, 60.0, 120.0, 240.0}; int game_fps_index = 1;