663 }
664 }
665#line 903 "libacc.c"
666 __cil_tmp7 = i - 1;
667#line 903
668 __cil_tmp8 = (unsigned long )this;
669#line 903
670 __cil_tmp9 = __cil_tmp8 + 24;
671#line 903
672 mem_13 = (char const ***)__cil_tmp9;
673#line 903
674 __cil_tmp10 = *mem_13;
675#line 903
676 __cil_tmp11 = __cil_tmp10 + __cil_tmp7;
677#line 903
678 retValue_acc = *__cil_tmp11;
679#line 905
680 return (retValue_acc);
681#line 912
682 return (retValue_acc);
683}
684}
685#line 1 "wsllib_check.o"
686#pragma merger(0,"wsllib_check.i","")
687#line 3 "wsllib_check.c"
688void __automaton_fail(void)
689{
690
691 {
692 goto ERROR;
693 ERROR: ;
694#line 53 "wsllib_check.c"
695 return;
696}
697}
698#line 1 "scenario.o"
699#pragma merger(0,"scenario.i","")
700#line 4 "scenario.c"
701void bigMacCall(void) ;
702#line 5
703void angelinaCall(void) ;