2209 }
2210 }
2211#line 903 "libacc.c"
2212 __cil_tmp7 = i - 1;
2213#line 903
2214 __cil_tmp8 = (unsigned long )this;
2215#line 903
2216 __cil_tmp9 = __cil_tmp8 + 24;
2217#line 903
2218 mem_13 = (char const ***)__cil_tmp9;
2219#line 903
2220 __cil_tmp10 = *mem_13;
2221#line 903
2222 __cil_tmp11 = __cil_tmp10 + __cil_tmp7;
2223#line 903
2224 retValue_acc = *__cil_tmp11;
2225#line 905
2226 return (retValue_acc);
2227#line 912
2228 return (retValue_acc);
2229}
2230}
2231#line 1 "wsllib_check.o"
2232#pragma merger(0,"wsllib_check.i","")
2233#line 3 "wsllib_check.c"
2234void __automaton_fail(void)
2235{
2236
2237 {
2238 goto ERROR;
2239 ERROR: ;
2240#line 53 "wsllib_check.c"
2241 return;
2242}
2243}
2244#line 1 "Util.o"
2245#pragma merger(0,"Util.i","")
2246#line 359 "/usr/include/stdio.h"
2247extern int printf(char const * __restrict __format , ...) ;
2248#line 1 "Util.h"
2249int prompt(char *msg ) ;