770#line 20 "featureselect.c"
771void select_helpers(void)
772{
773
774 {
775#line 111 "featureselect.c"
776 return;
777}
778}
779#line 25 "featureselect.c"
780int valid_product(void)
781{ int retValue_acc ;
782
783 {
784#line 129 "featureselect.c"
785 retValue_acc = 1;
786#line 131
787 return (retValue_acc);
788#line 138
789 return (retValue_acc);
790}
791}
792#line 1 "wsllib_check.o"
793#pragma merger(0,"wsllib_check.i","")
794#line 3 "wsllib_check.c"
795void __automaton_fail(void)
796{
797
798 {
799 goto ERROR;
800 ERROR: ;
801#line 53 "wsllib_check.c"
802 return;
803}
804}
805#line 1 "libacc.o"
806#pragma merger(0,"libacc.i","")
807#line 73 "/usr/include/assert.h"
808extern __attribute__((__nothrow__, __noreturn__)) void __assert_fail(char const *__assertion ,
809 char const *__file ,
810 unsigned int __line ,