727#line 85
728 tmp = valid_product();
729 }
730#line 85
731 if (tmp) {
732 {
733#line 86
734 setup();
735#line 87
736 runTest();
737 }
738 } else {
739
740 }
741#line 1226 "Test.c"
742 retValue_acc = 0;
743#line 1228
744 return (retValue_acc);
745#line 1235
746 return (retValue_acc);
747}
748}
749#line 1 "wsllib_check.o"
750#pragma merger(0,"wsllib_check.i","")
751#line 3 "wsllib_check.c"
752void __automaton_fail(void)
753{
754
755 {
756 goto ERROR;
757 ERROR: ;
758#line 53 "wsllib_check.c"
759 return;
760}
761}
762#line 1 "Specification3_spec.o"
763#pragma merger(0,"Specification3_spec.i","")
764#line 11 "Specification3_spec.c"
765void __utac_acc__Specification3_spec__1(void)
766{ int tmp ;
767 int tmp___0 ;