160 {
161#line 209 "Environment.c"
162 retValue_acc = waterLevel;
163#line 211
164 return (retValue_acc);
165#line 218
166 return (retValue_acc);
167}
168}
169#line 58 "Environment.c"
170int isLowWaterSensorDry(void)
171{ int retValue_acc ;
172
173 {
174#line 240 "Environment.c"
175 retValue_acc = waterLevel == 0;
176#line 242
177 return (retValue_acc);
178#line 249
179 return (retValue_acc);
180}
181}
182#line 1 "wsllib_check.o"
183#pragma merger(0,"wsllib_check.i","")
184#line 3 "wsllib_check.c"
185void __automaton_fail(void)
186{
187
188 {
189 goto ERROR;
190 ERROR: ;
191#line 53 "wsllib_check.c"
192 return;
193}
194}
195#line 1 "libacc.o"
196#pragma merger(0,"libacc.i","")
197#line 73 "/usr/include/assert.h"
198extern __attribute__((__nothrow__, __noreturn__)) void __assert_fail(char const *__assertion ,
199 char const *__file ,
200 unsigned int __line ,