742#line 85
743 tmp = valid_product();
744 }
745#line 85
746 if (tmp) {
747 {
748#line 86
749 setup();
750#line 87
751 runTest();
752 }
753 } else {
754
755 }
756#line 1226 "Test.c"
757 retValue_acc = 0;
758#line 1228
759 return (retValue_acc);
760#line 1235
761 return (retValue_acc);
762}
763}
764#line 1 "wsllib_check.o"
765#pragma merger(0,"wsllib_check.i","")
766#line 3 "wsllib_check.c"
767void __automaton_fail(void)
768{
769
770 {
771 goto ERROR;
772 ERROR: ;
773#line 53 "wsllib_check.c"
774 return;
775}
776}
777#line 1 "featureselect.o"
778#pragma merger(0,"featureselect.i","")
779#line 8 "featureselect.h"
780int select_one(void) ;
781#line 8 "featureselect.c"
782int select_one(void)