726 }
727 {
728#line 51
729 printf(")");
730 }
731#line 189 "Environment.c"
732 return;
733}
734}
735#line 55 "Environment.c"
736int getWaterLevel(void)
737{ int retValue_acc ;
738
739 {
740#line 207 "Environment.c"
741 retValue_acc = waterLevel;
742#line 209
743 return (retValue_acc);
744#line 216
745 return (retValue_acc);
746}
747}
748#line 1 "wsllib_check.o"
749#pragma merger(0,"wsllib_check.i","")
750#line 3 "wsllib_check.c"
751void __automaton_fail(void)
752{
753
754 {
755 goto ERROR;
756 ERROR: ;
757#line 53 "wsllib_check.c"
758 return;
759}
760}
761#line 1 "Test.o"
762#pragma merger(0,"Test.i","")
763#line 8 "Test.c"
764int cleanupTimeShifts = 4;
765#line 11 "Test.c"
766#line 20 "Test.c"