742#line 85
743 tmp = valid_product();
744 }
745#line 85
746 if (tmp) {
747 {
748#line 86
749 setup();
750#line 87
751 runTest();
752 }
753 } else {
754
755 }
756#line 1226 "Test.c"
757 retValue_acc = 0;
758#line 1228
759 return (retValue_acc);
760#line 1235
761 return (retValue_acc);
762}
763}
764#line 1 "wsllib_check.o"
765#pragma merger(0,"wsllib_check.i","")
766#line 3 "wsllib_check.c"
767void __automaton_fail(void)
768{
769
770 {
771 goto ERROR;
772 ERROR: ;
773#line 53 "wsllib_check.c"
774 return;
775}
776}
777#line 1 "MinePump.o"
778#pragma merger(0,"MinePump.i","")
779#line 4 "Environment.h"
780void lowerWaterLevel(void) ;
781#line 15
782void printEnvironment(void) ;