542int prompt(char *msg ) ;
543#line 9 "Util.c"
544int prompt(char *msg )
545{ int retValue_acc ;
546 int retval ;
547 char const * __restrict __cil_tmp4 ;
548
549 {
550 {
551#line 10
552 __cil_tmp4 = (char const * __restrict )"%s\n";
553#line 10
554 printf(__cil_tmp4, msg);
555#line 518 "Util.c"
556 retValue_acc = retval;
557 }
558#line 520
559 return (retValue_acc);
560#line 527
561 return (retValue_acc);
562}
563}
564#line 1 "wsllib_check.o"
565#pragma merger(0,"wsllib_check.i","")
566#line 3 "wsllib_check.c"
567void __automaton_fail(void)
568{
569
570 {
571 goto ERROR;
572 ERROR: ;
573#line 53 "wsllib_check.c"
574 return;
575}
576}
577#line 1 "libacc.o"
578#pragma merger(0,"libacc.i","")
579#line 73 "/usr/include/assert.h"
580extern __attribute__((__nothrow__, __noreturn__)) void __assert_fail(char const *__assertion ,
581 char const *__file ,
582 unsigned int __line ,