3311int prompt(char *msg ) ;
3312#line 9 "Util.c"
3313int prompt(char *msg )
3314{ int retValue_acc ;
3315 int retval ;
3316 char const * __restrict __cil_tmp4 ;
3317
3318 {
3319 {
3320#line 10
3321 __cil_tmp4 = (char const * __restrict )"%s\n";
3322#line 10
3323 printf(__cil_tmp4, msg);
3324#line 518 "Util.c"
3325 retValue_acc = retval;
3326 }
3327#line 520
3328 return (retValue_acc);
3329#line 527
3330 return (retValue_acc);
3331}
3332}
3333#line 1 "wsllib_check.o"
3334#pragma merger(0,"wsllib_check.i","")
3335#line 3 "wsllib_check.c"
3336void __automaton_fail(void)
3337{
3338
3339 {
3340 goto ERROR;
3341 ERROR: ;
3342#line 53 "wsllib_check.c"
3343 return;
3344}
3345}
3346#line 1 "Email.o"
3347#pragma merger(0,"Email.i","")
3348#line 6 "Email.h"
3349void printMail(int msg ) ;
3350#line 15
3351int cloneEmail(int msg ) ;