1500 }
1501 }
1502#line 903 "libacc.c"
1503 __cil_tmp7 = i - 1;
1504#line 903
1505 __cil_tmp8 = (unsigned long )this;
1506#line 903
1507 __cil_tmp9 = __cil_tmp8 + 24;
1508#line 903
1509 mem_13 = (char const ***)__cil_tmp9;
1510#line 903
1511 __cil_tmp10 = *mem_13;
1512#line 903
1513 __cil_tmp11 = __cil_tmp10 + __cil_tmp7;
1514#line 903
1515 retValue_acc = *__cil_tmp11;
1516#line 905
1517 return (retValue_acc);
1518#line 912
1519 return (retValue_acc);
1520}
1521}
1522#line 1 "wsllib_check.o"
1523#pragma merger(0,"wsllib_check.i","")
1524#line 3 "wsllib_check.c"
1525void __automaton_fail(void)
1526{
1527
1528 {
1529 goto ERROR;
1530 ERROR: ;
1531#line 53 "wsllib_check.c"
1532 return;
1533}
1534}
1535#line 1 "featureselect.o"
1536#pragma merger(0,"featureselect.i","")
1537#line 24 "featureselect.h"
1538int select_one(void) ;
1539#line 7 "featureselect.c"
1540int select_one(void)