623#line 20 "featureselect.c"
624void select_helpers(void)
625{
626
627 {
628#line 133 "featureselect.c"
629 return;
630}
631}
632#line 25 "featureselect.c"
633int valid_product(void)
634{ int retValue_acc ;
635
636 {
637#line 151 "featureselect.c"
638 retValue_acc = 1;
639#line 153
640 return (retValue_acc);
641#line 160
642 return (retValue_acc);
643}
644}
645#line 1 "wsllib_check.o"
646#pragma merger(0,"wsllib_check.i","")
647#line 3 "wsllib_check.c"
648void __automaton_fail(void)
649{
650
651 {
652 goto ERROR;
653 ERROR: ;
654#line 53 "wsllib_check.c"
655 return;
656}
657}
658#line 1 "Util.o"
659#pragma merger(0,"Util.i","")
660#line 1 "Util.h"
661int prompt(char *msg ) ;
662#line 9 "Util.c"
663int prompt(char *msg )