791 }
792 }
793#line 903 "libacc.c"
794 __cil_tmp7 = i - 1;
795#line 903
796 __cil_tmp8 = (unsigned long )this;
797#line 903
798 __cil_tmp9 = __cil_tmp8 + 24;
799#line 903
800 mem_13 = (char const ***)__cil_tmp9;
801#line 903
802 __cil_tmp10 = *mem_13;
803#line 903
804 __cil_tmp11 = __cil_tmp10 + __cil_tmp7;
805#line 903
806 retValue_acc = *__cil_tmp11;
807#line 905
808 return (retValue_acc);
809#line 912
810 return (retValue_acc);
811}
812}
813#line 1 "wsllib_check.o"
814#pragma merger(0,"wsllib_check.i","")
815#line 3 "wsllib_check.c"
816void __automaton_fail(void)
817{
818
819 {
820 goto ERROR;
821 ERROR: ;
822#line 53 "wsllib_check.c"
823 return;
824}
825}
826#line 1 "Environment.o"
827#pragma merger(0,"Environment.i","")
828#line 4 "Environment.h"
829void lowerWaterLevel(void) ;
830#line 12
831int getWaterLevel(void) ;