std::auto_ptr<Menu> contrib_menu;
std::auto_ptr<Menu> contrib_world_menu;
std::auto_ptr<World> main_world;
std::vector<World*> contrib_worlds;
std::auto_ptr<Menu> addons_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;
std::auto_ptr<Menu> addons_menu;