755#line 20 "featureselect.c"
756void select_helpers(void)
757{
758
759 {
760#line 111 "featureselect.c"
761 return;
762}
763}
764#line 25 "featureselect.c"
765int valid_product(void)
766{ int retValue_acc ;
767
768 {
769#line 129 "featureselect.c"
770 retValue_acc = 1;
771#line 131
772 return (retValue_acc);
773#line 138
774 return (retValue_acc);
775}
776}
777#line 1 "wsllib_check.o"
778#pragma merger(0,"wsllib_check.i","")
779#line 3 "wsllib_check.c"
780void __automaton_fail(void)
781{
782
783 {
784 goto ERROR;
785 ERROR: ;
786#line 53 "wsllib_check.c"
787 return;
788}
789}
790#line 1 "scenario.o"
791#pragma merger(0,"scenario.i","")
792#line 12 "scenario.c"
793void stopSystem(void) ;
794#line 1 "scenario.c"
795void test(void)