3746int prompt(char *msg ) ;
3747#line 9 "Util.c"
3748int prompt(char *msg )
3749{ int retValue_acc ;
3750 int retval ;
3751 char const * __restrict __cil_tmp4 ;
3752
3753 {
3754 {
3755#line 10
3756 __cil_tmp4 = (char const * __restrict )"%s\n";
3757#line 10
3758 printf(__cil_tmp4, msg);
3759#line 518 "Util.c"
3760 retValue_acc = retval;
3761 }
3762#line 520
3763 return (retValue_acc);
3764#line 527
3765 return (retValue_acc);
3766}
3767}
3768#line 1 "wsllib_check.o"
3769#pragma merger(0,"wsllib_check.i","")
3770#line 3 "wsllib_check.c"
3771void __automaton_fail(void)
3772{
3773
3774 {
3775 goto ERROR;
3776 ERROR: ;
3777#line 53 "wsllib_check.c"
3778 return;
3779}
3780}
3781#line 1 "DecryptAutoResponder_spec.o"
3782#pragma merger(0,"DecryptAutoResponder_spec.i","")
3783#line 11 "DecryptAutoResponder_spec.c"
3784void __utac_acc__DecryptAutoResponder_spec__1(int client , int msg )
3785{ int tmp ;
3786