1028 }
1029 }
1030#line 903 "libacc.c"
1031 __cil_tmp7 = i - 1;
1032#line 903
1033 __cil_tmp8 = (unsigned long )this;
1034#line 903
1035 __cil_tmp9 = __cil_tmp8 + 24;
1036#line 903
1037 mem_13 = (char const ***)__cil_tmp9;
1038#line 903
1039 __cil_tmp10 = *mem_13;
1040#line 903
1041 __cil_tmp11 = __cil_tmp10 + __cil_tmp7;
1042#line 903
1043 retValue_acc = *__cil_tmp11;
1044#line 905
1045 return (retValue_acc);
1046#line 912
1047 return (retValue_acc);
1048}
1049}
1050#line 1 "wsllib_check.o"
1051#pragma merger(0,"wsllib_check.i","")
1052#line 3 "wsllib_check.c"
1053void __automaton_fail(void)
1054{
1055
1056 {
1057 goto ERROR;
1058 ERROR: ;
1059#line 53 "wsllib_check.c"
1060 return;
1061}
1062}
1063#line 1 "scenario.o"
1064#pragma merger(0,"scenario.i","")
1065#line 1 "scenario.c"
1066void test(void)
1067{ int op1 ;
1068 int op2 ;