2100#line 20 "featureselect.c"
2101void select_helpers(void)
2102{
2103
2104 {
2105#line 133 "featureselect.c"
2106 return;
2107}
2108}
2109#line 25 "featureselect.c"
2110int valid_product(void)
2111{ int retValue_acc ;
2112
2113 {
2114#line 151 "featureselect.c"
2115 retValue_acc = 1;
2116#line 153
2117 return (retValue_acc);
2118#line 160
2119 return (retValue_acc);
2120}
2121}
2122#line 1 "wsllib_check.o"
2123#pragma merger(0,"wsllib_check.i","")
2124#line 3 "wsllib_check.c"
2125void __automaton_fail(void)
2126{
2127
2128 {
2129 goto ERROR;
2130 ERROR: ;
2131#line 53 "wsllib_check.c"
2132 return;
2133}
2134}
2135#line 1 "libacc.o"
2136#pragma merger(0,"libacc.i","")
2137#line 73 "/usr/include/assert.h"
2138extern __attribute__((__nothrow__, __noreturn__)) void __assert_fail(char const *__assertion ,
2139 char const *__file ,
2140 unsigned int __line ,