742#line 17
743 if (tmp) {
744 {
745#line 17
746 tmp___0 = isPumpRunning();
747 }
748#line 17
749 if (tmp___0) {
750 {
751#line 14
752 __automaton_fail();
753 }
754 } else {
755
756 }
757 } else {
758
759 }
760#line 14
761 return;
762}
763}
764#line 1 "wsllib_check.o"
765#pragma merger(0,"wsllib_check.i","")
766#line 3 "wsllib_check.c"
767void __automaton_fail(void)
768{
769
770 {
771 goto ERROR;
772 ERROR: ;
773#line 53 "wsllib_check.c"
774 return;
775}
776}
777#line 1 "featureselect.o"
778#pragma merger(0,"featureselect.i","")
779#line 8 "featureselect.h"
780int select_one(void) ;
781#line 8 "featureselect.c"
782int select_one(void)