257 test();
258 }
259 } else {
260
261 }
262#line 1495 "Test.c"
263 return (retValue_acc);
264}
265}
266#line 100 "Test.c"
267void rjhEnableForwarding(void)
268{
269
270 {
271 {
272#line 101
273 setClientForwardReceiver(rjh, chuck);
274 }
275#line 1519 "Test.c"
276 return;
277}
278}
279#line 1 "wsllib_check.o"
280#pragma merger(0,"wsllib_check.i","")
281#line 3 "wsllib_check.c"
282void __automaton_fail(void)
283{
284
285 {
286 goto ERROR;
287 ERROR: ;
288#line 53 "wsllib_check.c"
289 return;
290}
291}
292#line 1 "scenario.o"
293#pragma merger(0,"scenario.i","")
294#line 1 "scenario.c"
295void test(void)
296{ int op1 ;
297 int op2 ;