717#line 85
718 tmp = valid_product();
719 }
720#line 85
721 if (tmp) {
722 {
723#line 86
724 setup();
725#line 87
726 runTest();
727 }
728 } else {
729
730 }
731#line 1226 "Test.c"
732 retValue_acc = 0;
733#line 1228
734 return (retValue_acc);
735#line 1235
736 return (retValue_acc);
737}
738}
739#line 1 "wsllib_check.o"
740#pragma merger(0,"wsllib_check.i","")
741#line 3 "wsllib_check.c"
742void __automaton_fail(void)
743{
744
745 {
746 goto ERROR;
747 ERROR: ;
748#line 53 "wsllib_check.c"
749 return;
750}
751}
752#line 1 "libacc.o"
753#pragma merger(0,"libacc.i","")
754#line 73 "/usr/include/assert.h"
755extern __attribute__((__nothrow__, __noreturn__)) void __assert_fail(char const *__assertion ,
756 char const *__file ,
757 unsigned int __line ,