1152 }
1153 }
1154#line 903 "libacc.c"
1155 __cil_tmp7 = i - 1;
1156#line 903
1157 __cil_tmp8 = (unsigned long )this;
1158#line 903
1159 __cil_tmp9 = __cil_tmp8 + 24;
1160#line 903
1161 mem_13 = (char const ***)__cil_tmp9;
1162#line 903
1163 __cil_tmp10 = *mem_13;
1164#line 903
1165 __cil_tmp11 = __cil_tmp10 + __cil_tmp7;
1166#line 903
1167 retValue_acc = *__cil_tmp11;
1168#line 905
1169 return (retValue_acc);
1170#line 912
1171 return (retValue_acc);
1172}
1173}
1174#line 1 "wsllib_check.o"
1175#pragma merger(0,"wsllib_check.i","")
1176#line 3 "wsllib_check.c"
1177void __automaton_fail(void)
1178{
1179
1180 {
1181 goto ERROR;
1182 ERROR: ;
1183#line 53 "wsllib_check.c"
1184 return;
1185}
1186}
1187#line 1 "Environment.o"
1188#pragma merger(0,"Environment.i","")
1189#line 9 "Environment.c"
1190int waterLevel = 1;
1191#line 12 "Environment.c"
1192int methaneLevelCritical = 0;