146#line 20 "featureselect.c"
147void select_helpers(void)
148{
149
150 {
151#line 111 "featureselect.c"
152 return;
153}
154}
155#line 25 "featureselect.c"
156int valid_product(void)
157{ int retValue_acc ;
158
159 {
160#line 129 "featureselect.c"
161 retValue_acc = 1;
162#line 131
163 return (retValue_acc);
164#line 138
165 return (retValue_acc);
166}
167}
168#line 1 "wsllib_check.o"
169#pragma merger(0,"wsllib_check.i","")
170#line 3 "wsllib_check.c"
171void __automaton_fail(void)
172{
173
174 {
175 goto ERROR;
176 ERROR: ;
177#line 53 "wsllib_check.c"
178 return;
179}
180}
181#line 1 "scenario.o"
182#pragma merger(0,"scenario.i","")
183#line 5 "scenario.c"
184void waterRise(void) ;
185#line 7
186#line 8