887 }
888 }
889#line 903 "libacc.c"
890 __cil_tmp7 = i - 1;
891#line 903
892 __cil_tmp8 = (unsigned long )this;
893#line 903
894 __cil_tmp9 = __cil_tmp8 + 24;
895#line 903
896 mem_13 = (char const ***)__cil_tmp9;
897#line 903
898 __cil_tmp10 = *mem_13;
899#line 903
900 __cil_tmp11 = __cil_tmp10 + __cil_tmp7;
901#line 903
902 retValue_acc = *__cil_tmp11;
903#line 905
904 return (retValue_acc);
905#line 912
906 return (retValue_acc);
907}
908}
909#line 1 "wsllib_check.o"
910#pragma merger(0,"wsllib_check.i","")
911#line 3 "wsllib_check.c"
912void __automaton_fail(void)
913{
914
915 {
916 goto ERROR;
917 ERROR: ;
918#line 53 "wsllib_check.c"
919 return;
920}
921}
922#line 1 "Specification4_spec.o"
923#pragma merger(0,"Specification4_spec.i","")
924#line 10 "MinePump.h"
925int isPumpRunning(void) ;
926#line 11 "Specification4_spec.c"
927__inline void __utac_acc__Specification4_spec__1(void)