437 if (tmp___0 == 2) {
438 {
439#line 19
440 tmp___1 = isPumpRunning();
441 }
442#line 19
443 if (tmp___1) {
444
445 } else {
446 {
447#line 16
448 __automaton_fail();
449 }
450 }
451 } else {
452
453 }
454 }
455#line 16
456 return;
457}
458}
459#line 1 "wsllib_check.o"
460#pragma merger(0,"wsllib_check.i","")
461#line 3 "wsllib_check.c"
462void __automaton_fail(void)
463{
464
465 {
466 goto ERROR;
467 ERROR: ;
468#line 53 "wsllib_check.c"
469 return;
470}
471}
472#line 1 "featureselect.o"
473#pragma merger(0,"featureselect.i","")
474#line 8 "featureselect.h"
475int select_one(void) ;
476#line 10
477void select_features(void) ;