384#line 17
385 if (tmp) {
386 {
387#line 17
388 tmp___0 = isPumpRunning();
389 }
390#line 17
391 if (tmp___0) {
392 {
393#line 14
394 __automaton_fail();
395 }
396 } else {
397
398 }
399 } else {
400
401 }
402#line 14
403 return;
404}
405}
406#line 1 "wsllib_check.o"
407#pragma merger(0,"wsllib_check.i","")
408#line 3 "wsllib_check.c"
409void __automaton_fail(void)
410{
411
412 {
413 goto ERROR;
414 ERROR: ;
415#line 53 "wsllib_check.c"
416 return;
417}
418}
419#line 1 "MinePump.o"
420#pragma merger(0,"MinePump.i","")
421#line 6 "MinePump.h"
422void activatePump(void) ;
423#line 8
424void deactivatePump(void) ;