948#line 253 "Environment.c"
949 retValue_acc = 0;
950#line 255
951 return (retValue_acc);
952 }
953#line 262 "Environment.c"
954 return (retValue_acc);
955}
956}
957#line 67 "Environment.c"
958int isLowWaterSensorDry(void)
959{ int retValue_acc ;
960
961 {
962#line 284 "Environment.c"
963 retValue_acc = waterLevel == 0;
964#line 286
965 return (retValue_acc);
966#line 293
967 return (retValue_acc);
968}
969}
970#line 1 "wsllib_check.o"
971#pragma merger(0,"wsllib_check.i","")
972#line 3 "wsllib_check.c"
973void __automaton_fail(void)
974{
975
976 {
977 goto ERROR;
978 ERROR: ;
979#line 53 "wsllib_check.c"
980 return;
981}
982}
983#line 1 "MinePump.o"
984#pragma merger(0,"MinePump.i","")
985#line 6 "MinePump.h"
986void activatePump(void) ;
987#line 8
988void deactivatePump(void) ;