719 }
720 {
721#line 51
722 printf(")");
723 }
724#line 189 "Environment.c"
725 return;
726}
727}
728#line 55 "Environment.c"
729int getWaterLevel(void)
730{ int retValue_acc ;
731
732 {
733#line 207 "Environment.c"
734 retValue_acc = waterLevel;
735#line 209
736 return (retValue_acc);
737#line 216
738 return (retValue_acc);
739}
740}
741#line 1 "wsllib_check.o"
742#pragma merger(0,"wsllib_check.i","")
743#line 3 "wsllib_check.c"
744void __automaton_fail(void)
745{
746
747 {
748 goto ERROR;
749 ERROR: ;
750#line 53 "wsllib_check.c"
751 return;
752}
753}
754#line 1 "scenario.o"
755#pragma merger(0,"scenario.i","")
756#line 7 "scenario.c"
757#line 11
758void startSystem(void) ;
759#line 13