397
398 {
399 {
400#line 353 "MinePump.c"
401 tmp = isHighWaterSensorDry();
402 }
403#line 353
404 if (tmp) {
405#line 353
406 tmp___0 = 0;
407 } else {
408#line 353
409 tmp___0 = 1;
410 }
411#line 353
412 retValue_acc = tmp___0;
413#line 355
414 return (retValue_acc);
415#line 362
416 return (retValue_acc);
417}
418}
419#line 1 "wsllib_check.o"
420#pragma merger(0,"wsllib_check.i","")
421#line 3 "wsllib_check.c"
422void __automaton_fail(void)
423{
424
425 {
426 goto ERROR;
427 ERROR: ;
428#line 53 "wsllib_check.c"
429 return;
430}
431}
432#line 1 "libacc.o"
433#pragma merger(0,"libacc.i","")
434#line 73 "/usr/include/assert.h"
435extern __attribute__((__nothrow__, __noreturn__)) void __assert_fail(char const *__assertion ,
436 char const *__file ,
437 unsigned int __line ,