742 }
743 }
744#line 903 "libacc.c"
745 __cil_tmp7 = i - 1;
746#line 903
747 __cil_tmp8 = (unsigned long )this;
748#line 903
749 __cil_tmp9 = __cil_tmp8 + 24;
750#line 903
751 mem_13 = (char const ***)__cil_tmp9;
752#line 903
753 __cil_tmp10 = *mem_13;
754#line 903
755 __cil_tmp11 = __cil_tmp10 + __cil_tmp7;
756#line 903
757 retValue_acc = *__cil_tmp11;
758#line 905
759 return (retValue_acc);
760#line 912
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 10
782int isMethaneLevelCritical(void) ;