2984int prompt(char *msg ) ;
2985#line 9 "Util.c"
2986int prompt(char *msg )
2987{ int retValue_acc ;
2988 int retval ;
2989 char const * __restrict __cil_tmp4 ;
2990
2991 {
2992 {
2993#line 10
2994 __cil_tmp4 = (char const * __restrict )"%s\n";
2995#line 10
2996 printf(__cil_tmp4, msg);
2997#line 518 "Util.c"
2998 retValue_acc = retval;
2999 }
3000#line 520
3001 return (retValue_acc);
3002#line 527
3003 return (retValue_acc);
3004}
3005}
3006#line 1 "wsllib_check.o"
3007#pragma merger(0,"wsllib_check.i","")
3008#line 3 "wsllib_check.c"
3009void __automaton_fail(void)
3010{
3011
3012 {
3013 goto ERROR;
3014 ERROR: ;
3015#line 53 "wsllib_check.c"
3016 return;
3017}
3018}
3019#line 1 "Email.o"
3020#pragma merger(0,"Email.i","")
3021#line 6 "EmailLib.h"
3022int getEmailId(int handle ) ;
3023#line 10
3024int getEmailFrom(int handle ) ;