824#line 20 "featureselect.c"
825void select_helpers(void)
826{
827
828 {
829#line 111 "featureselect.c"
830 return;
831}
832}
833#line 25 "featureselect.c"
834int valid_product(void)
835{ int retValue_acc ;
836
837 {
838#line 129 "featureselect.c"
839 retValue_acc = 1;
840#line 131
841 return (retValue_acc);
842#line 138
843 return (retValue_acc);
844}
845}
846#line 1 "wsllib_check.o"
847#pragma merger(0,"wsllib_check.i","")
848#line 3 "wsllib_check.c"
849void __automaton_fail(void)
850{
851
852 {
853 goto ERROR;
854 ERROR: ;
855#line 53 "wsllib_check.c"
856 return;
857}
858}
859#line 1 "MinePump.o"
860#pragma merger(0,"MinePump.i","")
861#line 4 "Environment.h"
862void lowerWaterLevel(void) ;
863#line 10
864int isMethaneLevelCritical(void) ;