1073 }
1074 }
1075#line 903 "libacc.c"
1076 __cil_tmp7 = i - 1;
1077#line 903
1078 __cil_tmp8 = (unsigned long )this;
1079#line 903
1080 __cil_tmp9 = __cil_tmp8 + 24;
1081#line 903
1082 mem_13 = (char const ***)__cil_tmp9;
1083#line 903
1084 __cil_tmp10 = *mem_13;
1085#line 903
1086 __cil_tmp11 = __cil_tmp10 + __cil_tmp7;
1087#line 903
1088 retValue_acc = *__cil_tmp11;
1089#line 905
1090 return (retValue_acc);
1091#line 912
1092 return (retValue_acc);
1093}
1094}
1095#line 1 "wsllib_check.o"
1096#pragma merger(0,"wsllib_check.i","")
1097#line 3 "wsllib_check.c"
1098void __automaton_fail(void)
1099{
1100
1101 {
1102 goto ERROR;
1103 ERROR: ;
1104#line 53 "wsllib_check.c"
1105 return;
1106}
1107}
1108#line 1 "featureselect.o"
1109#pragma merger(0,"featureselect.i","")
1110#line 8 "featureselect.h"
1111int select_one(void) ;
1112#line 8 "featureselect.c"
1113int select_one(void)