145 }
146 {
147#line 51
148 printf(")");
149 }
150#line 189 "Environment.c"
151 return;
152}
153}
154#line 55 "Environment.c"
155int getWaterLevel(void)
156{ int retValue_acc ;
157
158 {
159#line 207 "Environment.c"
160 retValue_acc = waterLevel;
161#line 209
162 return (retValue_acc);
163#line 216
164 return (retValue_acc);
165}
166}
167#line 1 "wsllib_check.o"
168#pragma merger(0,"wsllib_check.i","")
169#line 3 "wsllib_check.c"
170void __automaton_fail(void)
171{
172
173 {
174 goto ERROR;
175 ERROR: ;
176#line 53 "wsllib_check.c"
177 return;
178}
179}
180#line 1 "Test.o"
181#pragma merger(0,"Test.i","")
182#line 8 "Test.c"
183int cleanupTimeShifts = 4;
184#line 11 "Test.c"
185#line 20 "Test.c"