601 }
602 }
603#line 903 "libacc.c"
604 __cil_tmp7 = i - 1;
605#line 903
606 __cil_tmp8 = (unsigned long )this;
607#line 903
608 __cil_tmp9 = __cil_tmp8 + 24;
609#line 903
610 mem_13 = (char const ***)__cil_tmp9;
611#line 903
612 __cil_tmp10 = *mem_13;
613#line 903
614 __cil_tmp11 = __cil_tmp10 + __cil_tmp7;
615#line 903
616 retValue_acc = *__cil_tmp11;
617#line 905
618 return (retValue_acc);
619#line 912
620 return (retValue_acc);
621}
622}
623#line 1 "wsllib_check.o"
624#pragma merger(0,"wsllib_check.i","")
625#line 3 "wsllib_check.c"
626void __automaton_fail(void)
627{
628
629 {
630 goto ERROR;
631 ERROR: ;
632#line 53 "wsllib_check.c"
633 return;
634}
635}
636#line 1 "Environment.o"
637#pragma merger(0,"Environment.i","")
638#line 4 "Environment.h"
639void lowerWaterLevel(void) ;
640#line 6
641void waterRise(void) ;