#include <flip_world.h> char *game_fps_choices[] = {"30", "60", "120", "240"}; char *game_fps = "60";