ClabureDB: Classified Bug-Reports Database

     {
 #line 59
     printf("On");
     }
   } else {
     {
 #line 60
     printf("Off");
     }
   }
   {
 #line 62
   printf(") ");
 #line 63
   printEnvironment();
 #line 64
   printf("\n");
   }
 #line 283 "MinePump.c"
   return;
 }
 }
 #line 1 "wsllib_check.o"
 #pragma merger(0,"wsllib_check.i","")
 #line 3 "wsllib_check.c"
 void __automaton_fail(void) 
 { 
 
   {
   goto ERROR;
   ERROR: ;
 #line 53 "wsllib_check.c"
   return;
 }
 }
 #line 1 "scenario.o"
 #pragma merger(0,"scenario.i","")
 #line 7 "scenario.c"
 #line 15
 void cleanup(void) ;
 #line 1 "scenario.c"