2482 }
2483 }
2484#line 903 "libacc.c"
2485 __cil_tmp7 = i - 1;
2486#line 903
2487 __cil_tmp8 = (unsigned long )this;
2488#line 903
2489 __cil_tmp9 = __cil_tmp8 + 24;
2490#line 903
2491 mem_13 = (char const ***)__cil_tmp9;
2492#line 903
2493 __cil_tmp10 = *mem_13;
2494#line 903
2495 __cil_tmp11 = __cil_tmp10 + __cil_tmp7;
2496#line 903
2497 retValue_acc = *__cil_tmp11;
2498#line 905
2499 return (retValue_acc);
2500#line 912
2501 return (retValue_acc);
2502}
2503}
2504#line 1 "wsllib_check.o"
2505#pragma merger(0,"wsllib_check.i","")
2506#line 3 "wsllib_check.c"
2507void __automaton_fail(void)
2508{
2509
2510 {
2511 goto ERROR;
2512 ERROR: ;
2513#line 53 "wsllib_check.c"
2514 return;
2515}
2516}
2517#line 1 "featureselect.o"
2518#pragma merger(0,"featureselect.i","")
2519#line 41 "featureselect.h"
2520int select_one(void) ;
2521#line 43
2522void select_features(void) ;