389}
390}
391#line 77 "MinePump.c"
392void stopSystem(void)
393{
394
395 {
396#line 82
397 if (pumpRunning) {
398 {
399#line 79
400 deactivatePump();
401 }
402 } else {
403
404 }
405#line 82
406 systemActive = 0;
407#line 367 "MinePump.c"
408 return;
409}
410}
411#line 1 "wsllib_check.o"
412#pragma merger(0,"wsllib_check.i","")
413#line 3 "wsllib_check.c"
414void __automaton_fail(void)
415{
416
417 {
418 goto ERROR;
419 ERROR: ;
420#line 53 "wsllib_check.c"
421 return;
422}
423}
424#line 1 "Test.o"
425#pragma merger(0,"Test.i","")
426#line 8 "Test.c"
427int cleanupTimeShifts = 4;
428#line 11 "Test.c"
429#line 17 "Test.c"