671 }
672 {
673#line 51
674 printf(")");
675 }
676#line 189 "Environment.c"
677 return;
678}
679}
680#line 55 "Environment.c"
681int getWaterLevel(void)
682{ int retValue_acc ;
683
684 {
685#line 207 "Environment.c"
686 retValue_acc = waterLevel;
687#line 209
688 return (retValue_acc);
689#line 216
690 return (retValue_acc);
691}
692}
693#line 1 "wsllib_check.o"
694#pragma merger(0,"wsllib_check.i","")
695#line 3 "wsllib_check.c"
696void __automaton_fail(void)
697{
698
699 {
700 goto ERROR;
701 ERROR: ;
702#line 53 "wsllib_check.c"
703 return;
704}
705}
706#line 1 "featureselect.o"
707#pragma merger(0,"featureselect.i","")
708#line 8 "featureselect.h"
709int select_one(void) ;
710#line 10
711void select_features(void) ;