prom_world
extern void prom_world(int);
prom_world(1);
prom_world(0);
void prom_world(int enter);
extern void prom_world(int);
prom_world(1);
prom_world(0);