52void cleanup(void) ;
53#line 1 "scenario.c"
54void test(void)
55{
56
57 {
58 {
59#line 2
60 aliceCall();
61#line 3
62 angelinaCall();
63#line 4
64 threeTS();
65#line 5
66 bobCall();
67#line 6
68 cleanup();
69 }
70#line 59 "scenario.c"
71 return;
72}
73}
74#line 1 "wsllib_check.o"
75#pragma merger(0,"wsllib_check.i","")
76#line 3 "wsllib_check.c"
77void __automaton_fail(void)
78{
79
80 {
81 goto ERROR;
82 ERROR: ;
83#line 53 "wsllib_check.c"
84 return;
85}
86}
87#line 1 "libacc.o"
88#pragma merger(0,"libacc.i","")
89#line 73 "/usr/include/assert.h"
90extern __attribute__((__nothrow__, __noreturn__)) void __assert_fail(char const *__assertion ,
91 char const *__file ,
92 unsigned int __line ,