std::auto_ptr<Menu> load_game_menu;
std::auto_ptr<Menu> contrib_menu;
std::auto_ptr<Menu> contrib_world_menu;
std::auto_ptr<World> main_world;
std::vector<World*> contrib_worlds;
World* current_world;
std::auto_ptr<Menu> load_game_menu;
std::auto_ptr<Menu> contrib_menu;
std::auto_ptr<Menu> contrib_world_menu;
std::auto_ptr<World> main_world;
std::vector<World*> contrib_worlds;
World* current_world;