702 }
703 }
704#line 903 "libacc.c"
705 __cil_tmp7 = i - 1;
706#line 903
707 __cil_tmp8 = (unsigned long )this;
708#line 903
709 __cil_tmp9 = __cil_tmp8 + 24;
710#line 903
711 mem_13 = (char const ***)__cil_tmp9;
712#line 903
713 __cil_tmp10 = *mem_13;
714#line 903
715 __cil_tmp11 = __cil_tmp10 + __cil_tmp7;
716#line 903
717 retValue_acc = *__cil_tmp11;
718#line 905
719 return (retValue_acc);
720#line 912
721 return (retValue_acc);
722}
723}
724#line 1 "wsllib_check.o"
725#pragma merger(0,"wsllib_check.i","")
726#line 3 "wsllib_check.c"
727void __automaton_fail(void)
728{
729
730 {
731 goto ERROR;
732 ERROR: ;
733#line 53 "wsllib_check.c"
734 return;
735}
736}
737#line 1 "Environment.o"
738#pragma merger(0,"Environment.i","")
739#line 4 "Environment.h"
740void lowerWaterLevel(void) ;
741#line 10
742int isMethaneLevelCritical(void) ;