519#line 12
520 stopSystem();
521 }
522 } else {
523
524 }
525 }
526 {
527#line 14
528 timeShift();
529 }
530 }
531 while_1_break: ;
532 }
533 {
534#line 16
535 cleanup();
536 }
537#line 76 "scenario.c"
538 return;
539}
540}
541#line 1 "wsllib_check.o"
542#pragma merger(0,"wsllib_check.i","")
543#line 3 "wsllib_check.c"
544void __automaton_fail(void)
545{
546
547 {
548 goto ERROR;
549 ERROR: ;
550#line 53 "wsllib_check.c"
551 return;
552}
553}
554#line 1 "Environment.o"
555#pragma merger(0,"Environment.i","")
556#line 12 "Environment.h"
557int getWaterLevel(void) ;
558#line 9 "Environment.c"
559int waterLevel = 1;