827 }
828 {
829#line 51
830 printf(")");
831 }
832#line 189 "Environment.c"
833 return;
834}
835}
836#line 55 "Environment.c"
837int getWaterLevel(void)
838{ int retValue_acc ;
839
840 {
841#line 207 "Environment.c"
842 retValue_acc = waterLevel;
843#line 209
844 return (retValue_acc);
845#line 216
846 return (retValue_acc);
847}
848}
849#line 1 "wsllib_check.o"
850#pragma merger(0,"wsllib_check.i","")
851#line 3 "wsllib_check.c"
852void __automaton_fail(void)
853{
854
855 {
856 goto ERROR;
857 ERROR: ;
858#line 53 "wsllib_check.c"
859 return;
860}
861}
862#line 1 "featureselect.o"
863#pragma merger(0,"featureselect.i","")
864#line 8 "featureselect.h"
865int select_one(void) ;
866#line 8 "featureselect.c"
867int select_one(void)