1058int prompt(char *msg ) ;
1059#line 9 "Util.c"
1060int prompt(char *msg )
1061{ int retValue_acc ;
1062 int retval ;
1063 char const * __restrict __cil_tmp4 ;
1064
1065 {
1066 {
1067#line 10
1068 __cil_tmp4 = (char const * __restrict )"%s\n";
1069#line 10
1070 printf(__cil_tmp4, msg);
1071#line 518 "Util.c"
1072 retValue_acc = retval;
1073 }
1074#line 520
1075 return (retValue_acc);
1076#line 527
1077 return (retValue_acc);
1078}
1079}
1080#line 1 "wsllib_check.o"
1081#pragma merger(0,"wsllib_check.i","")
1082#line 3 "wsllib_check.c"
1083void __automaton_fail(void)
1084{
1085
1086 {
1087 goto ERROR;
1088 ERROR: ;
1089#line 53 "wsllib_check.c"
1090 return;
1091}
1092}
1093#line 1 "ClientLib.o"
1094#pragma merger(0,"ClientLib.i","")
1095#line 6 "ClientLib.h"
1096char *getClientName(int handle ) ;
1097#line 8
1098void setClientName(int handle , char *value ) ;