948 }
949 }
950#line 903 "libacc.c"
951 __cil_tmp7 = i - 1;
952#line 903
953 __cil_tmp8 = (unsigned long )this;
954#line 903
955 __cil_tmp9 = __cil_tmp8 + 24;
956#line 903
957 mem_13 = (char const ***)__cil_tmp9;
958#line 903
959 __cil_tmp10 = *mem_13;
960#line 903
961 __cil_tmp11 = __cil_tmp10 + __cil_tmp7;
962#line 903
963 retValue_acc = *__cil_tmp11;
964#line 905
965 return (retValue_acc);
966#line 912
967 return (retValue_acc);
968}
969}
970#line 1 "wsllib_check.o"
971#pragma merger(0,"wsllib_check.i","")
972#line 3 "wsllib_check.c"
973void __automaton_fail(void)
974{
975
976 {
977 goto ERROR;
978 ERROR: ;
979#line 53 "wsllib_check.c"
980 return;
981}
982}
983#line 1 "scenario.o"
984#pragma merger(0,"scenario.i","")
985#line 11 "scenario.c"
986void startSystem(void) ;
987#line 13
988void stopSystem(void) ;