void check_levels_contrib_menu();
void check_contrib_world_menu();
void free_contrib_menu();
void check_levels_contrib_menu();
void check_contrib_world_menu();
void free_contrib_menu();
std::auto_ptr<Menu> contrib_world_menu;
std::auto_ptr<World> main_world;
std::vector<World*> contrib_worlds;
std::auto_ptr<Menu> contrib_world_menu;
std::auto_ptr<World> main_world;
std::vector<World*> contrib_worlds;