689#line 20 "featureselect.c"
690void select_helpers(void)
691{
692
693 {
694#line 111 "featureselect.c"
695 return;
696}
697}
698#line 25 "featureselect.c"
699int valid_product(void)
700{ int retValue_acc ;
701
702 {
703#line 129 "featureselect.c"
704 retValue_acc = 1;
705#line 131
706 return (retValue_acc);
707#line 138
708 return (retValue_acc);
709}
710}
711#line 1 "wsllib_check.o"
712#pragma merger(0,"wsllib_check.i","")
713#line 3 "wsllib_check.c"
714void __automaton_fail(void)
715{
716
717 {
718 goto ERROR;
719 ERROR: ;
720#line 53 "wsllib_check.c"
721 return;
722}
723}
724#line 1 "Specification5_spec.o"
725#pragma merger(0,"Specification5_spec.i","")
726#line 7 "Specification5_spec.c"
727int switchedOnBeforeTS ;
728#line 11 "Specification5_spec.c"
729__inline void __utac_acc__Specification5_spec__1(void)