546 }
547 }
548#line 903 "libacc.c"
549 __cil_tmp7 = i - 1;
550#line 903
551 __cil_tmp8 = (unsigned long )this;
552#line 903
553 __cil_tmp9 = __cil_tmp8 + 24;
554#line 903
555 mem_13 = (char const ***)__cil_tmp9;
556#line 903
557 __cil_tmp10 = *mem_13;
558#line 903
559 __cil_tmp11 = __cil_tmp10 + __cil_tmp7;
560#line 903
561 retValue_acc = *__cil_tmp11;
562#line 905
563 return (retValue_acc);
564#line 912
565 return (retValue_acc);
566}
567}
568#line 1 "wsllib_check.o"
569#pragma merger(0,"wsllib_check.i","")
570#line 3 "wsllib_check.c"
571void __automaton_fail(void)
572{
573
574 {
575 goto ERROR;
576 ERROR: ;
577#line 53 "wsllib_check.c"
578 return;
579}
580}
581#line 1 "MinePump.o"
582#pragma merger(0,"MinePump.i","")
583#line 4 "Environment.h"
584void lowerWaterLevel(void) ;
585#line 10
586int isMethaneLevelCritical(void) ;