966#line 20 "featureselect.c"
967void select_helpers(void)
968{
969
970 {
971#line 111 "featureselect.c"
972 return;
973}
974}
975#line 25 "featureselect.c"
976int valid_product(void)
977{ int retValue_acc ;
978
979 {
980#line 129 "featureselect.c"
981 retValue_acc = 1;
982#line 131
983 return (retValue_acc);
984#line 138
985 return (retValue_acc);
986}
987}
988#line 1 "wsllib_check.o"
989#pragma merger(0,"wsllib_check.i","")
990#line 3 "wsllib_check.c"
991void __automaton_fail(void)
992{
993
994 {
995 goto ERROR;
996 ERROR: ;
997#line 53 "wsllib_check.c"
998 return;
999}
1000}
1001#line 1 "MinePump.o"
1002#pragma merger(0,"MinePump.i","")
1003#line 6 "MinePump.h"
1004void activatePump(void) ;
1005#line 8
1006void deactivatePump(void) ;