2715 }
2716 }
2717#line 903 "libacc.c"
2718 __cil_tmp7 = i - 1;
2719#line 903
2720 __cil_tmp8 = (unsigned long )this;
2721#line 903
2722 __cil_tmp9 = __cil_tmp8 + 24;
2723#line 903
2724 mem_13 = (char const ***)__cil_tmp9;
2725#line 903
2726 __cil_tmp10 = *mem_13;
2727#line 903
2728 __cil_tmp11 = __cil_tmp10 + __cil_tmp7;
2729#line 903
2730 retValue_acc = *__cil_tmp11;
2731#line 905
2732 return (retValue_acc);
2733#line 912
2734 return (retValue_acc);
2735}
2736}
2737#line 1 "wsllib_check.o"
2738#pragma merger(0,"wsllib_check.i","")
2739#line 3 "wsllib_check.c"
2740void __automaton_fail(void)
2741{
2742
2743 {
2744 goto ERROR;
2745 ERROR: ;
2746#line 53 "wsllib_check.c"
2747 return;
2748}
2749}
2750#line 1 "Client.o"
2751#pragma merger(0,"Client.i","")
2752#line 10 "EmailLib.h"
2753int getEmailFrom(int handle ) ;
2754#line 12
2755void setEmailFrom(int handle , int value ) ;