962int prompt(char *msg ) ;
963#line 9 "Util.c"
964int prompt(char *msg )
965{ int retValue_acc ;
966 int retval ;
967 char const * __restrict __cil_tmp4 ;
968
969 {
970 {
971#line 10
972 __cil_tmp4 = (char const * __restrict )"%s\n";
973#line 10
974 printf(__cil_tmp4, msg);
975#line 518 "Util.c"
976 retValue_acc = retval;
977 }
978#line 520
979 return (retValue_acc);
980#line 527
981 return (retValue_acc);
982}
983}
984#line 1 "wsllib_check.o"
985#pragma merger(0,"wsllib_check.i","")
986#line 3 "wsllib_check.c"
987void __automaton_fail(void)
988{
989
990 {
991 goto ERROR;
992 ERROR: ;
993#line 53 "wsllib_check.c"
994 return;
995}
996}
997#line 1 "EmailLib.o"
998#pragma merger(0,"EmailLib.i","")
999#line 4 "EmailLib.h"
1000int initEmail(void) ;
1001#line 6
1002int getEmailId(int handle ) ;