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