3959 }
3960 }
3961#line 903 "libacc.c"
3962 __cil_tmp7 = i - 1;
3963#line 903
3964 __cil_tmp8 = (unsigned long )this;
3965#line 903
3966 __cil_tmp9 = __cil_tmp8 + 24;
3967#line 903
3968 mem_13 = (char const ***)__cil_tmp9;
3969#line 903
3970 __cil_tmp10 = *mem_13;
3971#line 903
3972 __cil_tmp11 = __cil_tmp10 + __cil_tmp7;
3973#line 903
3974 retValue_acc = *__cil_tmp11;
3975#line 905
3976 return (retValue_acc);
3977#line 912
3978 return (retValue_acc);
3979}
3980}
3981#line 1 "wsllib_check.o"
3982#pragma merger(0,"wsllib_check.i","")
3983#line 3 "wsllib_check.c"
3984void __automaton_fail(void)
3985{
3986
3987 {
3988 goto ERROR;
3989 ERROR: ;
3990#line 53 "wsllib_check.c"
3991 return;
3992}
3993}
3994#line 1 "Email.o"
3995#pragma merger(0,"Email.i","")
3996#line 6 "Email.h"
3997void printMail(int msg ) ;
3998#line 9
3999int isReadable(int msg ) ;