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