899 }
900 }
901#line 903 "libacc.c"
902 __cil_tmp7 = i - 1;
903#line 903
904 __cil_tmp8 = (unsigned long )this;
905#line 903
906 __cil_tmp9 = __cil_tmp8 + 24;
907#line 903
908 mem_13 = (char const ***)__cil_tmp9;
909#line 903
910 __cil_tmp10 = *mem_13;
911#line 903
912 __cil_tmp11 = __cil_tmp10 + __cil_tmp7;
913#line 903
914 retValue_acc = *__cil_tmp11;
915#line 905
916 return (retValue_acc);
917#line 912
918 return (retValue_acc);
919}
920}
921#line 1 "wsllib_check.o"
922#pragma merger(0,"wsllib_check.i","")
923#line 3 "wsllib_check.c"
924void __automaton_fail(void)
925{
926
927 {
928 goto ERROR;
929 ERROR: ;
930#line 53 "wsllib_check.c"
931 return;
932}
933}
934#line 1 "scenario.o"
935#pragma merger(0,"scenario.i","")
936#line 11 "scenario.c"
937void startSystem(void) ;
938#line 13
939void stopSystem(void) ;