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