801 } else {
802
803 }
804 } else {
805
806 }
807 }
808 {
809#line 19
810 timeShift();
811 }
812 }
813 while_1_break: ;
814 }
815 {
816#line 21
817 cleanup();
818 }
819#line 105 "scenario.c"
820 return;
821}
822}
823#line 1 "wsllib_check.o"
824#pragma merger(0,"wsllib_check.i","")
825#line 3 "wsllib_check.c"
826void __automaton_fail(void)
827{
828
829 {
830 goto ERROR;
831 ERROR: ;
832#line 53 "wsllib_check.c"
833 return;
834}
835}
836#line 1 "libacc.o"
837#pragma merger(0,"libacc.i","")
838#line 73 "/usr/include/assert.h"
839extern __attribute__((__nothrow__, __noreturn__)) void __assert_fail(char const *__assertion ,
840 char const *__file ,
841 unsigned int __line ,