572int prompt(char *msg ) ;
573#line 9 "Util.c"
574int prompt(char *msg )
575{ int retValue_acc ;
576 int retval ;
577 char const * __restrict __cil_tmp4 ;
578
579 {
580 {
581#line 10
582 __cil_tmp4 = (char const * __restrict )"%s\n";
583#line 10
584 printf(__cil_tmp4, msg);
585#line 518 "Util.c"
586 retValue_acc = retval;
587 }
588#line 520
589 return (retValue_acc);
590#line 527
591 return (retValue_acc);
592}
593}
594#line 1 "wsllib_check.o"
595#pragma merger(0,"wsllib_check.i","")
596#line 3 "wsllib_check.c"
597void __automaton_fail(void)
598{
599
600 {
601 goto ERROR;
602 ERROR: ;
603#line 53 "wsllib_check.c"
604 return;
605}
606}
607#line 1 "ClientLib.o"
608#pragma merger(0,"ClientLib.i","")
609#line 4 "ClientLib.h"
610int initClient(void) ;
611#line 6
612char *getClientName(int handle ) ;