586int prompt(char *msg ) ;
587#line 9 "Util.c"
588int prompt(char *msg )
589{ int retValue_acc ;
590 int retval ;
591 char const * __restrict __cil_tmp4 ;
592
593 {
594 {
595#line 10
596 __cil_tmp4 = (char const * __restrict )"%s\n";
597#line 10
598 printf(__cil_tmp4, msg);
599#line 518 "Util.c"
600 retValue_acc = retval;
601 }
602#line 520
603 return (retValue_acc);
604#line 527
605 return (retValue_acc);
606}
607}
608#line 1 "wsllib_check.o"
609#pragma merger(0,"wsllib_check.i","")
610#line 3 "wsllib_check.c"
611void __automaton_fail(void)
612{
613
614 {
615 goto ERROR;
616 ERROR: ;
617#line 53 "wsllib_check.c"
618 return;
619}
620}
621#line 1 "Email.o"
622#pragma merger(0,"Email.i","")
623#line 6 "EmailLib.h"
624int getEmailId(int handle ) ;
625#line 15 "Email.h"
626int cloneEmail(int msg ) ;