3875 }
3876 }
3877#line 903 "libacc.c"
3878 __cil_tmp7 = i - 1;
3879#line 903
3880 __cil_tmp8 = (unsigned long )this;
3881#line 903
3882 __cil_tmp9 = __cil_tmp8 + 24;
3883#line 903
3884 mem_13 = (char const ***)__cil_tmp9;
3885#line 903
3886 __cil_tmp10 = *mem_13;
3887#line 903
3888 __cil_tmp11 = __cil_tmp10 + __cil_tmp7;
3889#line 903
3890 retValue_acc = *__cil_tmp11;
3891#line 905
3892 return (retValue_acc);
3893#line 912
3894 return (retValue_acc);
3895}
3896}
3897#line 1 "wsllib_check.o"
3898#pragma merger(0,"wsllib_check.i","")
3899#line 3 "wsllib_check.c"
3900void __automaton_fail(void)
3901{
3902
3903 {
3904 goto ERROR;
3905 ERROR: ;
3906#line 53 "wsllib_check.c"
3907 return;
3908}
3909}
3910#line 1 "Test.o"
3911#pragma merger(0,"Test.i","")
3912#line 43 "featureselect.h"
3913void select_features(void) ;
3914#line 45
3915void select_helpers(void) ;