610#line 85
611 tmp = valid_product();
612 }
613#line 85
614 if (tmp) {
615 {
616#line 86
617 setup();
618#line 87
619 runTest();
620 }
621 } else {
622
623 }
624#line 1226 "Test.c"
625 retValue_acc = 0;
626#line 1228
627 return (retValue_acc);
628#line 1235
629 return (retValue_acc);
630}
631}
632#line 1 "wsllib_check.o"
633#pragma merger(0,"wsllib_check.i","")
634#line 3 "wsllib_check.c"
635void __automaton_fail(void)
636{
637
638 {
639 goto ERROR;
640 ERROR: ;
641#line 53 "wsllib_check.c"
642 return;
643}
644}
645#line 1 "Specification1_spec.o"
646#pragma merger(0,"Specification1_spec.i","")
647#line 11 "Specification1_spec.c"
648void __utac_acc__Specification1_spec__1(void)
649{ int tmp ;
650 int tmp___0 ;