649int prompt(char *msg ) ;
650#line 9 "Util.c"
651int prompt(char *msg )
652{ int retValue_acc ;
653 int retval ;
654 char const * __restrict __cil_tmp4 ;
655
656 {
657 {
658#line 10
659 __cil_tmp4 = (char const * __restrict )"%s\n";
660#line 10
661 printf(__cil_tmp4, msg);
662#line 518 "Util.c"
663 retValue_acc = retval;
664 }
665#line 520
666 return (retValue_acc);
667#line 527
668 return (retValue_acc);
669}
670}
671#line 1 "wsllib_check.o"
672#pragma merger(0,"wsllib_check.i","")
673#line 3 "wsllib_check.c"
674void __automaton_fail(void)
675{
676
677 {
678 goto ERROR;
679 ERROR: ;
680#line 53 "wsllib_check.c"
681 return;
682}
683}
684#line 1 "ClientLib.o"
685#pragma merger(0,"ClientLib.i","")
686#line 4 "ClientLib.h"
687int initClient(void) ;
688#line 6
689char *getClientName(int handle ) ;