867#line 85
868 tmp = valid_product();
869 }
870#line 85
871 if (tmp) {
872 {
873#line 86
874 setup();
875#line 87
876 runTest();
877 }
878 } else {
879
880 }
881#line 1234 "Test.c"
882 retValue_acc = 0;
883#line 1236
884 return (retValue_acc);
885#line 1243
886 return (retValue_acc);
887}
888}
889#line 1 "wsllib_check.o"
890#pragma merger(0,"wsllib_check.i","")
891#line 3 "wsllib_check.c"
892void __automaton_fail(void)
893{
894
895 {
896 goto ERROR;
897 ERROR: ;
898#line 53 "wsllib_check.c"
899 return;
900}
901}
902#line 1 "featureselect.o"
903#pragma merger(0,"featureselect.i","")
904#line 8 "featureselect.h"
905int select_one(void) ;
906#line 8 "featureselect.c"
907int select_one(void)