416 deactivatePump();
417 }
418 } else {
419
420 }
421#line 82
422 systemActive = 0;
423#line 371 "MinePump.c"
424 return;
425}
426}
427#line 84 "MinePump.c"
428void startSystem(void)
429{
430
431 {
432#line 86
433 systemActive = 1;
434#line 391 "MinePump.c"
435 return;
436}
437}
438#line 1 "wsllib_check.o"
439#pragma merger(0,"wsllib_check.i","")
440#line 3 "wsllib_check.c"
441void __automaton_fail(void)
442{
443
444 {
445 goto ERROR;
446 ERROR: ;
447#line 53 "wsllib_check.c"
448 return;
449}
450}
451#line 1 "Test.o"
452#pragma merger(0,"Test.i","")
453#line 8 "Test.c"
454int cleanupTimeShifts = 4;
455#line 11 "Test.c"
456#line 17 "Test.c"