472 }
473 {
474#line 51
475 printf(")");
476 }
477#line 189 "Environment.c"
478 return;
479}
480}
481#line 55 "Environment.c"
482int getWaterLevel(void)
483{ int retValue_acc ;
484
485 {
486#line 207 "Environment.c"
487 retValue_acc = waterLevel;
488#line 209
489 return (retValue_acc);
490#line 216
491 return (retValue_acc);
492}
493}
494#line 1 "wsllib_check.o"
495#pragma merger(0,"wsllib_check.i","")
496#line 3 "wsllib_check.c"
497void __automaton_fail(void)
498{
499
500 {
501 goto ERROR;
502 ERROR: ;
503#line 53 "wsllib_check.c"
504 return;
505}
506}
507#line 1 "libacc.o"
508#pragma merger(0,"libacc.i","")
509#line 73 "/usr/include/assert.h"
510extern __attribute__((__nothrow__, __noreturn__)) void __assert_fail(char const *__assertion ,
511 char const *__file ,
512 unsigned int __line ,