795 }
796 {
797#line 51
798 printf(")");
799 }
800#line 189 "Environment.c"
801 return;
802}
803}
804#line 55 "Environment.c"
805int getWaterLevel(void)
806{ int retValue_acc ;
807
808 {
809#line 207 "Environment.c"
810 retValue_acc = waterLevel;
811#line 209
812 return (retValue_acc);
813#line 216
814 return (retValue_acc);
815}
816}
817#line 1 "wsllib_check.o"
818#pragma merger(0,"wsllib_check.i","")
819#line 3 "wsllib_check.c"
820void __automaton_fail(void)
821{
822
823 {
824 goto ERROR;
825 ERROR: ;
826#line 53 "wsllib_check.c"
827 return;
828}
829}
830#line 1 "Test.o"
831#pragma merger(0,"Test.i","")
832#line 8 "Test.c"
833int cleanupTimeShifts = 4;
834#line 11 "Test.c"
835#line 20 "Test.c"