3036 }
3037 }
3038#line 903 "libacc.c"
3039 __cil_tmp7 = i - 1;
3040#line 903
3041 __cil_tmp8 = (unsigned long )this;
3042#line 903
3043 __cil_tmp9 = __cil_tmp8 + 24;
3044#line 903
3045 mem_13 = (char const ***)__cil_tmp9;
3046#line 903
3047 __cil_tmp10 = *mem_13;
3048#line 903
3049 __cil_tmp11 = __cil_tmp10 + __cil_tmp7;
3050#line 903
3051 retValue_acc = *__cil_tmp11;
3052#line 905
3053 return (retValue_acc);
3054#line 912
3055 return (retValue_acc);
3056}
3057}
3058#line 1 "wsllib_check.o"
3059#pragma merger(0,"wsllib_check.i","")
3060#line 3 "wsllib_check.c"
3061void __automaton_fail(void)
3062{
3063
3064 {
3065 goto ERROR;
3066 ERROR: ;
3067#line 53 "wsllib_check.c"
3068 return;
3069}
3070}
3071#line 1 "scenario.o"
3072#pragma merger(0,"scenario.i","")
3073#line 1 "scenario.c"
3074void test(void)
3075{ int op1 ;
3076 int op2 ;