2313int prompt(char *msg ) ;
2314#line 9 "Util.c"
2315int prompt(char *msg )
2316{ int retValue_acc ;
2317 int retval ;
2318 char const * __restrict __cil_tmp4 ;
2319
2320 {
2321 {
2322#line 10
2323 __cil_tmp4 = (char const * __restrict )"%s\n";
2324#line 10
2325 printf(__cil_tmp4, msg);
2326#line 518 "Util.c"
2327 retValue_acc = retval;
2328 }
2329#line 520
2330 return (retValue_acc);
2331#line 527
2332 return (retValue_acc);
2333}
2334}
2335#line 1 "wsllib_check.o"
2336#pragma merger(0,"wsllib_check.i","")
2337#line 3 "wsllib_check.c"
2338void __automaton_fail(void)
2339{
2340
2341 {
2342 goto ERROR;
2343 ERROR: ;
2344#line 53 "wsllib_check.c"
2345 return;
2346}
2347}
2348#line 1 "Email.o"
2349#pragma merger(0,"Email.i","")
2350#line 6 "EmailLib.h"
2351int getEmailId(int handle ) ;
2352#line 10
2353int getEmailFrom(int handle ) ;