1220#line 20 "featureselect.c"
1221void select_helpers(void)
1222{
1223
1224 {
1225#line 111 "featureselect.c"
1226 return;
1227}
1228}
1229#line 25 "featureselect.c"
1230int valid_product(void)
1231{ int retValue_acc ;
1232
1233 {
1234#line 129 "featureselect.c"
1235 retValue_acc = 1;
1236#line 131
1237 return (retValue_acc);
1238#line 138
1239 return (retValue_acc);
1240}
1241}
1242#line 1 "wsllib_check.o"
1243#pragma merger(0,"wsllib_check.i","")
1244#line 3 "wsllib_check.c"
1245void __automaton_fail(void)
1246{
1247
1248 {
1249 goto ERROR;
1250 ERROR: ;
1251#line 53 "wsllib_check.c"
1252 return;
1253}
1254}
1255#line 1 "Specification1_spec.o"
1256#pragma merger(0,"Specification1_spec.i","")
1257#line 11 "Specification1_spec.c"
1258void __utac_acc__Specification1_spec__1(void)
1259{ int tmp ;
1260 int tmp___0 ;