362#line 313
363 tmp___0 = 1;
364 }
365#line 313
366 retValue_acc = tmp___0;
367#line 315
368 return (retValue_acc);
369#line 322
370 return (retValue_acc);
371}
372}
373#line 70 "MinePump.c"
374void startSystem(void)
375{
376
377 {
378#line 72
379 systemActive = 1;
380#line 346 "MinePump.c"
381 return;
382}
383}
384#line 1 "wsllib_check.o"
385#pragma merger(0,"wsllib_check.i","")
386#line 3 "wsllib_check.c"
387void __automaton_fail(void)
388{
389
390 {
391 goto ERROR;
392 ERROR: ;
393#line 53 "wsllib_check.c"
394 return;
395}
396}
397#line 1 "featureselect.o"
398#pragma merger(0,"featureselect.i","")
399#line 8 "featureselect.h"
400int select_one(void) ;
401#line 10
402void select_features(void) ;