567 }
568 {
569#line 51
570 printf(")");
571 }
572#line 189 "Environment.c"
573 return;
574}
575}
576#line 55 "Environment.c"
577int getWaterLevel(void)
578{ int retValue_acc ;
579
580 {
581#line 207 "Environment.c"
582 retValue_acc = waterLevel;
583#line 209
584 return (retValue_acc);
585#line 216
586 return (retValue_acc);
587}
588}
589#line 1 "wsllib_check.o"
590#pragma merger(0,"wsllib_check.i","")
591#line 3 "wsllib_check.c"
592void __automaton_fail(void)
593{
594
595 {
596 goto ERROR;
597 ERROR: ;
598#line 53 "wsllib_check.c"
599 return;
600}
601}
602#line 1 "libacc.o"
603#pragma merger(0,"libacc.i","")
604#line 73 "/usr/include/assert.h"
605extern __attribute__((__nothrow__, __noreturn__)) void __assert_fail(char const *__assertion ,
606 char const *__file ,
607 unsigned int __line ,