46int prompt(char *msg ) ;
47#line 9 "Util.c"
48int prompt(char *msg )
49{ int retValue_acc ;
50 int retval ;
51 char const * __restrict __cil_tmp4 ;
52
53 {
54 {
55#line 10
56 __cil_tmp4 = (char const * __restrict )"%s\n";
57#line 10
58 printf(__cil_tmp4, msg);
59#line 518 "Util.c"
60 retValue_acc = retval;
61 }
62#line 520
63 return (retValue_acc);
64#line 527
65 return (retValue_acc);
66}
67}
68#line 1 "wsllib_check.o"
69#pragma merger(0,"wsllib_check.i","")
70#line 3 "wsllib_check.c"
71void __automaton_fail(void)
72{
73
74 {
75 goto ERROR;
76 ERROR: ;
77#line 53 "wsllib_check.c"
78 return;
79}
80}
81#line 1 "ClientLib.o"
82#pragma merger(0,"ClientLib.i","")
83#line 4 "ClientLib.h"
84int initClient(void) ;
85#line 6
86char *getClientName(int handle ) ;