arity.c:    fprintf(features,"add feature: %d\n\n",Aadd);
arity.c:    fprintf(features,"unify: %d\n",Aunif);
arity.c:    fprintf(features,"\ttop-top: %d = %3.1lf\n",PERUNIF(Atoptop));
arity.c:    fprintf(features,"\ttop-X: %d = %3.1lf\n",PERUNIF(Atop));
arity.c:    fprintf(features,"\tX-X: %d = %3.1lf\n",PERUNIF(Auid));
arity.c:    fprintf(features,"\tX-Y: %d = %3.1lf\n",PERUNIF(Audiff));
arity.c:    fprintf(features,"\tGLB: %d = %3.1lf\n",PERUNIF(Aglb));
arity.c:    fprintf(features,"merges: %d = %3.1lf\n",PERUNIF(Amerge));
arity.c:    fprintf(features,"\tnil-nil: %d = %3.1lf\n",PERMERGE(Anilnil));
arity.c:    fprintf(features,"\tnil-X: %d = %3.1lf\n",PERMERGE(Anil));
arity.c:    fprintf(features,"\tX-X: %d = %3.1lf\n",PERMERGE(Aident));
arity.c:    fprintf(features,"\tX-Y: %d = %3.1lf\n",PERMERGE(Adiff));
arity.c:    "unify: %s %s\n",
arity.c:  fprintf(features,"add %s to %s",s,u->type->keyword->symbol);
bi_math.c:            Errorline("division by zero in %P.\n",t); /* 8.9 */
bi_math.c:            Errorline("division by zero in %P.\n",t); /* 8.9 */
bi_math.c:              Errorline("division by zero in %P.\n",t); /* 8.9 */
bi_math.c:            Errorline("division by zero in %P.\n",t); /* 8.9 */
bi_math.c:            Errorline("division by zero in %P.\n",t); /* 8.9 */
bi_math.c:            Errorline("division by zero in %P.\n",t); /* 8.9 */
bi_math.c:              Errorline("division by zero in %P.\n",t); /* 8.9 */
bi_math.c:            Errorline("division by zero in %P.\n",t); /* 8.9 */
bi_math.c:            Errorline("square root of negative number in %P.\n",t);
bi_math.c:          if (val1<0) Errorline("square root of negative number in %P.\n",t);
bi_math.c:	  success=unify_real_result(arg3,(REAL)((unsigned long)val1 % (unsigned long)val2));
bi_math.c:	  success=(val3==(REAL)((unsigned long)val1 % (unsigned long)val2));
bi_math.c:            Errorline("logarithm of %s in %P.\n",
bi_math.c:            Errorline("logarithm of %s in %P.\n",
bi_sys.c:      Errorline("bad first argument in %P.\n",t);
bi_sys.c:      Errorline("bad second argument in %P.\n",t);
bi_sys.c:  Infoline("*** Warning messages are%s printed\n",warningflag?"":" not");
bi_sys.c:  printf("Stack size  : %8ld bytes (%5ldK) (%ld%%)\n",t1,t1/1024,100*t1/t3);
bi_sys.c:  printf("Heap size   : %8ld bytes (%5ldK) (%ld%%)\n",t2,t2/1024,100*t2/t3);
bi_sys.c:  printf("Total memory: %8ld bytes (%5ldK)\n",t3,t3/1024);
bi_sys.c:      Errorline("bad argument in %P\n",funct);
bi_sys.c:    Errorline("argument missing in %P\n",funct);
bi_sys.c:          Errorline("could not execute shell in %P.\n",funct);
bi_sys.c:        Errorline("bad argument in %P.\n",funct);
bi_sys.c:      Errorline("bad argument in %P.\n",funct);
bi_sys.c:	  Errorline("%P requires two arguments.\n",pred);
bi_sys.c:    Errorline("%P requires two arguments.\n",pred);
bi_sys.c:    Errorline("%P should be a nil-terminated list in mresiduate.\n",arg1);
bi_type.c:  /*Errorline("isa %P %P -> %d\n",arg1,arg2,ans);*/
built_ins.c:    Warningline("the persistent term '%P' appears in a boolean constraint and cannot be refined\n",t);
built_ins.c:    Warningline("the persistent term '%P' appears in an arithmetic constraint and cannot be refined\n",t);
built_ins.c:    Errorline("malformed disjunction '%P'\n",funct);
built_ins.c:            Errorline("function result '%P' should be a boolean or a predicate.\n",
built_ins.c:      Errorline("Non-boolean argument or result in '%P'.\n",funct);
built_ins.c:      Errorline("Non-boolean argument or result in '%P'.\n",funct);
built_ins.c:      Errorline("Non-boolean argument or result in '%P'.\n",funct);
built_ins.c:        Errorline("argument is not a function in %P.\n",funct);
built_ins.c:	    sprintf(thebuffer,"%ld",(long)v);
built_ins.c:	    Errorline("non-integer numeric feature in %P\n",funct);
built_ins.c:	Errorline("attempt to add a feature to curried function %P\n",
built_ins.c:    /* Errorline("argument missing in %P.\n",t); */
built_ins.c:    /* Errorline("argument missing in %P.\n",t); */
built_ins.c:    /* Errorline("argument missing in %P.\n",t); */
built_ins.c:    /* Errorline("argument missing in %P.\n",t); */
built_ins.c:    /* Errorline("argument missing in %P.\n",t); */
built_ins.c:        Errorline("bad argument in %P.\n",g);
built_ins.c:      Errorline("bad argument in %P.\n",g);
built_ins.c:      Errorline("bad file name in %P.\n",t);
built_ins.c:    Errorline("no file name in %P.\n",t);
built_ins.c:        Errorline("bad argument to %P.\n",t);
built_ins.c:      Errorline("bad argument %P.\n",t);
built_ins.c:        Errorline("bad second argument to %P.\n",funct);
built_ins.c:      Errorline("bad first argument %P.\n",funct);
built_ins.c:      Errorline("attempt to read past end of file (%E).\n");
built_ins.c:    Errorline("argument missing in %P.\n",g);
built_ins.c:    printf("[%1.3fs cpu, %1.3fs gc (%2.1f%%)]\n",
built_ins.c:  Errorline("built-in %P is not implemented yet.\n",t);
built_ins.c:  Errorline("%P is a declaration, not a query.\n",t);
built_ins.c:         Errorline("%P may not have arguments in %P.\n",arg1,g);
built_ins.c:        Errorline("%P should be dynamic in %P.\n",arg1,g);
built_ins.c:      Errorline("%P should be a function or uninterpreted in %P.\n",arg1,g);
built_ins.c:    Errorline("%P is missing one or both arguments.\n",g);
built_ins.c:    Errorline("bad clause in %P.\n",g);
built_ins.c:    Errorline("bad clause in %P.\n",g);
built_ins.c:    Errorline("bad argument in %s.\n", (r?"retract":"clause"));
built_ins.c:    Errorline("argument(s) missing in %P\n",g);
built_ins.c:        Errorline("%P is an incorrect global variable declaration (%E).\n",t);
built_ins.c:      Errorline("%T %P cannot be redeclared as a global variable (%E).\n",
built_ins.c:    Errorline("argument(s) missing in %P\n",g);
built_ins.c:      Errorline("%T %P cannot be redeclared persistent (%E).\n",
built_ins.c:	  Errorline("bad input stream in %P.\n",g);
built_ins.c:	Errorline("no stream in %P.\n",g);
built_ins.c:      Errorline("bad file name in %P.\n",g);
built_ins.c:    Errorline("no file name in %P.\n",g);
built_ins.c:	  Errorline("bad stream in %P.\n",g);
built_ins.c:	Errorline("no stream in %P.\n",g);
built_ins.c:      Errorline("bad file name in %P.\n",g);
built_ins.c:    Errorline("no file name in %P.\n",g);
built_ins.c:      Errorline("bad stream in %P.\n",g);
built_ins.c:    Errorline("no stream in %P.\n",g);
built_ins.c:      Errorline("bad stream in %P.\n",g);
built_ins.c:    Errorline("no stream in %P.\n",g);
built_ins.c:      Errorline("bad stream in %P.\n",g);
built_ins.c:    Errorline("no stream in %P.\n",g);
built_ins.c:    Errorline("argument missing in %P.\n",g);
built_ins.c:        Errorline("out-of-range character value in %P.\n",g);
built_ins.c:      fprintf((to_stderr?stderr:output_stream),"%s",str);
built_ins.c:    Errorline("argument missing in %P.\n",g);
built_ins.c:        Errorline("argument in %P must be positive.\n",g);
built_ins.c:      Errorline("bad argument in %P.\n",g);
built_ins.c:    Errorline("argument missing in %P.\n",g);
built_ins.c:        Errorline("argument in %P must be positive or zero.\n",g);
built_ins.c:      Errorline("bad argument in %P.\n",g);
built_ins.c:  Traceline("pushing predicate disjunction choice point for %P\n",g);
built_ins.c:    Errorline("neither first nor second arguments exist in %P.\n",g);
built_ins.c:      Errorline("argument to cond is not boolean in %P\n",g);
built_ins.c:      sprintf(thebuffer,"%ld",(long)v);
built_ins.c:      Errorline("non-numeric arguments in %P\n",funct);
built_ins.c:	    Errorline("result is not a real in %P\n",funct);
built_ins.c:	Errorline("argument is not a string in %P\n",funct);
built_ins.c:      Errorline("bad argument in %P\n",funct);
built_ins.c:    Errorline("argument missing in %P\n",funct);
built_ins.c:        Errorline("argument of %P should be a predicate.\n",funct);
built_ins.c:        Errorline("argument of %P should be a predicate.\n",funct);
built_ins.c:	Errorline("cannot use '<-' on persistent value in %P\n",g);
built_ins.c:    Errorline("argument missing in %P.\n",g);
built_ins.c:    Errorline("argument missing in %P.\n",g);
built_ins.c:    Errorline("argument missing in %P.\n",g);
built_ins.c:    Errorline("argument missing in %P.\n",g);
built_ins.c:    Errorline("argument missing in %P.\n",g);
built_ins.c:      Errorline("the argument %P of freeze must be a predicate.\n",arg1);
built_ins.c:      Traceline("evaluate frozen predicate %P\n",g);
built_ins.c:        Errorline("the argument %P of freeze must be user-defined.\n",arg1); /* 8.9 */
built_ins.c:    Errorline("goal missing in %P.\n",g);
built_ins.c:      Errorline("argument of %P must be an integer.\n",funct);
built_ins.c:	Errorline("String argument expected in '%P'\n",funct);
built_ins.c:      Warningline("argument of '%P' is not a string.\n",funct);
built_ins.c:    Errorline("error occurred in '%P'\n",funct);
built_ins.c:      sprintf(buf,"%g", *((double *)(arg1->value)));
built_ins.c:            Errorline("internal buffer too small for int2str(%P).\n",arg1);
built_ins.c:      if (is_built_in(r)) fprintf(output_stream,"%% ");
built_ins.c:      if (is_built_in(r)) fprintf(output_stream,"%% ");
built_ins.c:      fprintf(output_stream,"%s(",(d->protected?"static":"dynamic"));
built_ins.c:    if (is_built_in(r)) fprintf(output_stream,"%% ");
built_ins.c:        fprintf(output_stream,"%% '%s' is a %sfunction%s.\n",
built_ins.c:        fprintf(output_stream,"%% '%s' is a %spredicate%s.\n",
built_ins.c:          fprintf(output_stream,"%% ");
built_ins.c:          fprintf(output_stream," is a value of sort '%s'.\n",
built_ins.c:	fprintf(output_stream,"%% ");
built_ins.c:	outputline("'%s' is a %sglobal variable worth %P.\n",
built_ins.c:        fprintf(output_stream,"%% '%s' is a %block.\n",
built_ins.c:        fprintf(output_stream,"%% '%s' is undefined.\n", arg1->type->keyword->symbol);
built_ins.c:        Errorline("argument of %P must be a predicate, function, or sort.\n",g);
built_ins.c:    Errorline("argument missing in %P.\n",g);
built_ins.c:  outputline("There are %d sorts.\n",type_count);
built_ins.c:    Errorline("argument(s) missing in %P.\n",g);
built_ins.c:    Errorline("operator precedence must be in the range 0..%d.\n",
built_ins.c:            Errorline("bad operator kind '%s'.\n",type->type->keyword->symbol);
built_ins.c:	  Errorline("precedence must range from 1 to 1200 in %P.\n",t);
built_ins.c:        Errorline("precedence must be a positive integer in %P.\n",t);
built_ins.c:      Errorline("numbers or strings may not be operators in %P.\n",t);
built_ins.c:    Errorline("argument missing in %P.\n",t);
built_ins.c:  sprintf(result,"%s%s",s1,s2);
built_ins.c:      Errorline("couldn't open \"%s\"\n",f2);
built_ins.c:      /* printf("*** Error: couldn't open \"%s\"\n",f2); PVR 14.9.93 */
built_ins.c:    Errorline("couldn't open \"%s\"\n",f1);
built_ins.c:    /* printf("*** Error: couldn't open \"%s\"\n",f1); PVR 14.9.93 */
built_ins.c:            Errorline("bad argument in %P.\n",g);
built_ins.c:      Errorline("bad argument in %P.\n",g);
built_ins.c:            Errorline("bad argument in %P.\n",g);
built_ins.c:      Errorline("bad argument in %P.\n",g);
copy.c:    Traceline("doubled the number of hashbuckets to %d\n", numbuckets);
copy.c:	  Traceline("current choice point is %x\n",choice_stack);
error.c:    if (*p == '%') \
error.c:        buffer[0] = '%'; \
error.c:        buffer[0] = '%'; \
error.c:	perr_i("near line %ld",(long)psi_term_line_number);	\
error.c:	    perr_s(" in file \042%s\042",input_file_name); \
error.c:      case '%':						   \
error.c:        fprintf(outfile,"<%c follows %% : report bug >", *p); \
error.c:    fprintf(outfile,"%ld goal%s, %ld choice point%s, %ld trail entr%s",
error.c:  //  fprintf(stderr,"format = %lx %s\n",(long)format,format);fflush(stdout);
error.c:  //  fprintf(stderr,"format2 = %lx %s\n",(long)format,format);
error.c:  //  fprintf(stderr,"format = %lx %s\n",(long)format,format);fflush(stdout);
error.c:    //    fprintf(stderr,"format2 = %lx %s\n",(long)format,format);
error.c:  printf("T%04ld",goal_count);
error.c:  printf(" C%02ld",depth_cs());
error.c:  if (indent>=MAX_TRACE_INDENT) printf(" G%02ld",indent);
error.c:  indent = indent % MAX_TRACE_INDENT;
error.c:  perr_s2("*** %s: %s in '",s2,s);
error.c:  Format: '*** Error: %s in 'g'.'
error.c:  Format: '*** Error: %s in 'g'.'
error.c:  Format: '*** Warning: %s in 'g'.'
error.c:  perr_s("*** %s: argument '",s2);
error.c:  perr_s("' %s.\n",s);
error.c:  Format: '*** Error: argument 'g' %s.'
error.c:  Format: '*** Warning: argument 'g' %s.'
hash_table.c:  /* printf("code of %s ",symbol); */
hash_table.c:  /* printf("=%d\n",n); */
hash_table.c:  /* printf("found %s at %d keyword %x\n",symbol,n,table->data[n]); */
hash_table.c:  /* printf("inserting %s at %d keyword %x\n",symbol,n,keyword); */
hash_table.c:  printf("*** Hash table %lx:\n",(long)table);
hash_table.c:  printf("Size: %d\n",table->size);
hash_table.c:  printf("Used: %d\n",table->used);
hash_table.c:      printf("%4d %4d %s %s\n",
hash_table.c:  printf("Really used: %d\n",t);
hash_table.c:  printf("Collisions: %d = %1.3f%%\n",
info2.c:  printf("        %s ",s);
info2.c:  printf(" %3ld bytes.\n",n);
info3.c:  printf("        %s ",s);
info3.c:  printf(" %3ld bytes.\n",n);
info.c:  printf("        %s ",s);
info.c:  printf(" %3ld bytes.\n",n);
lefun.c:    Errorline("attempt to residuate on psi-term %P in the heap.\n",var);
lefun.c:    Traceline("residuating on %P (other = %P)\n",t,u);
lefun.c:  Traceline("currying %P\n",funct);
lefun.c:        Traceline("releasing %P\n",g->aaaa_1);
lefun.c:    Traceline("evaluate %P\n",funct);
lefun.c:  Traceline("push disjunction goal %P\n",t);
lefun.c:     Errorline("embedded functions appeared in %P.\n",resid_aim->aaaa_1);
lefun.c:    Traceline("setting up function call %P\n",t);
lefun.c:  /* Traceline("PVR: entering check_out with status %d and term %P\n",
lefun.c:  Traceline("PVR: entering check_out with status %d and term %P\n",
lefun.c:  Traceline("dereferencing variable %P\n",t);
lefun.c:    /*Traceline("dereferencing variable %P\n",t);*/
lib2.c:    sprintf(prompt_buffer,"%s%s",current_module->module_name,PROMPT);
lib2.c:  /* printf("%ld\n",(long)(stack_pointer-mem_base)); */ /* 8.10 */
lib.c:    sprintf(prompt_buffer,"%s%s",current_module->module_name,PROMPT);
lib.c:  /* printf("%ld\n",(long)(stack_pointer-mem_base)); */ /* 8.10 */
life2.c:    /* printf("%ld\n",(long)(stack_pointer-mem_base)); */ /* 8.10 */
life.c:    /* printf("%ld\n",(long)(stack_pointer-mem_base)); */ /* 8.10 */
login.c:	  Errorline("the built-in %T '%s' may not be redefined.\n",
login.c:	Errorline("the %T '%s' may not be redefined from within module %s.\n",
login.c:      Errorline("the %T '%s' may not be redefined as a %T.\n",
login.c:      Syntaxerrorline("body missing in definition of %T '%P'.\n", typ, head);
login.c:    Syntaxerrorline("head missing in definition of %T.\n",typ);
login.c:      Warningline("'%s' has taken the meaning of '%s'.\n",
login.c:      Errorline("arguments missing in %P.\n",t);
login.c:    printf("%1.3fs cpu, %ld goal%s",t,goal_count,(goal_count!=1?"s":""));
login.c:    if (t!=0.0) printf(" (%0.0f/s)",goal_count/t);
login.c:    printf(", %ld stack",sizeof(mem_base)*(stack_pointer-mem_base));
login.c:    printf(", %ld heap",sizeof(mem_base)*(mem_limit-heap_pointer));
login.c:    Traceline("fetching definition of %P\n",u);
login.c:    Traceline("fetching partial definition of %P\n",u);
login.c:  Traceline("unify %P with %P\n",u,v);
login.c:      Errorline("attempt to unify with curried function %P\n", u);
login.c:      Errorline("attempt to unify with curried function %P\n", v);
login.c:	printf("u=%s, v=%s, compare=%ld, u.s=%ld, v.s=%ld, ns=%ld\n",
login.c:              Warningline("'%s' may not be unified.\n",new_type->keyword->symbol);
login.c:            Traceline("re-evaluating curried expression %P\n", u);
login.c:          Traceline("pushing type disjunction choice point for %P\n",u);
login.c:		/* Warningline("call handler invoked for %P\n",thegoal); */
login.c:		  Traceline("prove built-in %P\n", thegoal);
login.c:		Traceline("prove %P\n", thegoal);
login.c:        Traceline("cut all choice points back to %x\n",choice_stack);
login.c:    Traceline("pushing type disjunction choice point for %P\n", t);
login.c:  Traceline("setting type disjunction to %s.\n", t->type->keyword->symbol);
login.c:        Traceline("pushing 'retract' choice point for %P\n", head);
login.c:        Traceline("pushing 'clause' choice point for %P\n", head);
login.c:      Traceline("fetching next clause for %s\n", head->type->keyword->symbol);
login.c:      Errorline("the built-in %P cannot be retracted.\n",head);
login.c:      Errorline("the definition of built-in %P is not accessible.\n",head);
login.c:      sprintf(pr,"%ld",lev2);
login.c:      /* fprintf(stderr,"*** Error: in input file %c%s%c.\n",34,fn,34); */
login.c:      printf("END OF FILE %s, setting module to %s\n",
login.c:	  printf("########### Choice stack corrupted! %x\n",c);
login.c:          Traceline("result of %P is %P\n", resid_aim->aaaa_1, aim->aaaa_1);
login.c:        Warningline("frozen goal has a missing parameter '%P' and fails.\n",aim->aaaa_1);
login.c:        if (resid_aim) Traceline("releasing frozen goal: %P\n", aim->aaaa_1);
login.c:        Warningline("implied goal has a missing parameter '%P' and fails.\n",aim->aaaa_1);
login.c:        if (resid_aim) Traceline("executing implied goal: %P\n", aim->aaaa_1);
login.c:      Traceline("deleting clause (%P%s%P)\n",
login.c:      Errorline("bad goal on stack %d.\n",goal_stack->type);
login.c:	    /* printf("At event, xeventdelay = %ld.\n",xeventdelay); */
login.c:	      /* from 100 at the pace of 1%. */
login.old.c:	  Errorline("the built-in %T '%s' may not be redefined.\n",
login.old.c:	Errorline("the %T '%s' may not be redefined from within module %s.\n",
login.old.c:      Errorline("the %T '%s' may not be redefined as a %T.\n",
login.old.c:      Syntaxerrorline("body missing in definition of %T '%P'.\n", typ, head);
login.old.c:    Syntaxerrorline("head missing in definition of %T.\n",typ);
login.old.c:      Warningline("'%s' has taken the meaning of '%s'.\n",
login.old.c:      Errorline("arguments missing in %P.\n",t);
login.old.c:    printf("%1.3fs cpu, %ld goal%s",t,goal_count,(goal_count!=1?"s":""));
login.old.c:    if (t!=0.0) printf(" (%0.0f/s)",goal_count/t);
login.old.c:    printf(", %ld stack",sizeof(mem_base)*(stack_pointer-mem_base));
login.old.c:    printf(", %ld heap",sizeof(mem_base)*(mem_limit-heap_pointer));
login.old.c:    Traceline("fetching definition of %P\n",u);
login.old.c:    Traceline("fetching partial definition of %P\n",u);
login.old.c:  Traceline("unify %P with %P\n",u,v);
login.old.c:      Errorline("attempt to unify with curried function %P\n", u);
login.old.c:      Errorline("attempt to unify with curried function %P\n", v);
login.old.c:	printf("u=%s, v=%s, compare=%ld, u.s=%ld, v.s=%ld, ns=%ld\n",
login.old.c:              Warningline("'%s' may not be unified.\n",new_type->keyword->symbol);
login.old.c:            Traceline("re-evaluating curried expression %P\n", u);
login.old.c:          Traceline("pushing type disjunction choice point for %P\n",u);
login.old.c:		/* Warningline("call handler invoked for %P\n",thegoal); */
login.old.c:		  Traceline("prove built-in %P\n", thegoal);
login.old.c:		Traceline("prove %P\n", thegoal);
login.old.c:        Traceline("cut all choice points back to %x\n",choice_stack);
login.old.c:    Traceline("pushing type disjunction choice point for %P\n", t);
login.old.c:  Traceline("setting type disjunction to %s.\n", t->type->keyword->symbol);
login.old.c:        Traceline("pushing 'retract' choice point for %P\n", head);
login.old.c:        Traceline("pushing 'clause' choice point for %P\n", head);
login.old.c:      Traceline("fetching next clause for %s\n", head->type->keyword->symbol);
login.old.c:      Errorline("the built-in %P cannot be retracted.\n",head);
login.old.c:      Errorline("the definition of built-in %P is not accessible.\n",head);
login.old.c:	  sprintf(pr,"%ld",level);
login.old.c:      /* fprintf(stderr,"*** Error: in input file %c%s%c.\n",34,fn,34); */
login.old.c:      printf("END OF FILE %s, setting module to %s\n",
login.old.c:	  printf("########### Choice stack corrupted! %x\n",c);
login.old.c:          Traceline("result of %P is %P\n", resid_aim->aaaa_1, aim->aaaa_1);
login.old.c:        Warningline("frozen goal has a missing parameter '%P' and fails.\n",aim->aaaa_1);
login.old.c:        if (resid_aim) Traceline("releasing frozen goal: %P\n", aim->aaaa_1);
login.old.c:        Warningline("implied goal has a missing parameter '%P' and fails.\n",aim->aaaa_1);
login.old.c:        if (resid_aim) Traceline("executing implied goal: %P\n", aim->aaaa_1);
login.old.c:      Traceline("deleting clause (%P%s%P)\n",
login.old.c:      Errorline("bad goal on stack %d.\n",goal_stack->type);
login.old.c:	    /* printf("At event, xeventdelay = %ld.\n",xeventdelay); */
login.old.c:	      /* from 100 at the pace of 1%. */
memory.c:  sprintf(buffer,"%d",def);
memory.c:  printf("stack pointer is: %lx\n",(long)stack_pointer);
memory.c:    printf("\tc=%lx\ts=%lx\tg=%lx\tu=%lx\n",(long)c,(long)c->stack_top,(long)c->goal_stack,(long)c->undo_point);
memory.c:      printf("UNDO: type:%ld a:%lx b:%lx next:%lx\n",(long)u->type,(long)u->aaaa_3,(long)u->bbbb_3,(long)u->next);
memory.c:        printf("\nUNDO: u=%lx\n",(long)u);
memory.c:        printf("\nUNDO: u:%lx type:%ld a:%lx b:%lx next:%lx\n",
memory.c:        /* if (len==LONELY) printf("Isolated LONELY at %lx\n",addr); */
memory.c:	  //	  fprintf(stderr,"DJD %ld %ld\n",len,*addr);
memory.c:  //  fprintf(stderr,"unchecked %d\n",place);
memory.c:      printf("p=%lx,*p=%lx\n",(long)p,(long)*p);
memory.c:        printf("len=%ld,value=%ld\n",len,value);
memory.c:        Errorline("in garbage collection, %d < %d place %d.\n", value, len,place);
memory.c:	//	fprintf(stderr,"DJD unchecked addr %lx value %ld\n",(unsigned long)addr,(unsigned long)value);
memory.c:        Errorline("in garbage collection, %d > %d place %d.\n", value, len,place);
memory.c:	//	fprintf(stderr,"DJD unchecked addr %lx value %ld\n",(unsigned long)addr,(unsigned long)value);
memory.c:  //  fprintf(stderr,"DJD check_bytedata DJD byteplace  %d\n",byteplace);
memory.c:    //    fprintf(stderr,"DJD check_bytedata DJD s = %lx bytes = %ld size = %ld\n", (unsigned long)s,(unsigned long)bytes,(unsigned long)size);
memory.c:      //      fprintf(stderr,"DJD check_bytedata addr %lx value %lx \n",(unsigned long)addr,(unsigned long)value); 
memory.c:    printf("%lx %20s %ld\n",(long)*d,(*d)->keyword->symbol,amount_used);
memory.c:	    //	  fprintf(stderr,"pre 2 check_bytedata DJD %lx val %lx %lx %ld\n",(unsigned long)&((*t)->value),(unsigned long)((*t)->value),(unsigned long)* ((*t)->value),  (unsigned long) * (GENERIC *) * ((*t)->value)) ;
memory.c:	    //	  fprintf(stderr,"pre check_bytedata DJD %lx val %lx %lx %lx\n",(unsigned long)&((*t)->value),(unsigned long)((*t)->value),(unsigned long)* ((*t)->value),  (unsigned long) * ((*t)->value)) ;
memory.c:	  Errorline("non-NULL value field in garbage collector, type='%s', value=%d.\n",
memory.c:  fprintf(stderr," [%ld%% free (%ldK), %ld%% heap, %ld%% stack",
memory.c:    fprintf(stderr,", %1.3fs cpu (%ld%%)",
memory.c:      //      fprintf(stderr,"addr = %lx\n",(long)addr);
memory.c:    /* assert(s % sizeof(*heap_pointer) == 0); */
memory.c:    /* assert(s % sizeof(*stack_pointer) == 0); */
modules.c:  /* printf("*** Current module: '%s'\n",current_module->module_name); */
modules.c:    printf("Extracted module name '%s' from '%s'\n",result->module_name,str);
modules.c:    /* printf("Stripped module from '%s' yielding '%s'\n",str,s); */
modules.c:  /* printf("*** New definition: %s\n",key->combined_name); */
modules.c:  /* printf("looking up %s#%s\n",module->module_name,symbol); */
modules.c:      Errorline("qualified call to private symbol '%s'\n",
modules.c:      Errorline("qualified call to undefined symbol '%s#%s'\n",
modules.c:		  Warningline("benign module name clash: %s and %s\n",
modules.c:		  Errorline("serious module name clash: \"%s\" and \"%s\"\n",
modules.c:	      Warningline("implicit reference to non-public symbol: %s\n",
modules.c:	      printf("*** Aliasing %s#%s to %s#%s\n",
modules.c:  Errorline("error in definition of '%s'\n",module_buffer);
modules.c:    Errorline("argument missing in '%P'\n",call);
modules.c:    Errorline("argument missing in '%P'\n",call);
modules.c:	  /* Warningline("module \"%s\" is already open\n",
modules.c:	      Errorline("symbol clash '%s' and '%s'\n",
modules.c:    Errorline("module \"%s\" not found\n",string_val(t));
modules.c:      Warningline("local definition of '%s' overrides '%s'\n",
modules.c:    Errorline("argument missing in '%P'\n",call);
modules.c:    Errorline("argument missing in '%P'\n",call);
modules.c:	Errorline("argument should be boolean in '%P'\n",call);
modules.c:	Errorline("argument should be boolean in '%P'\n",call);
modules.c:	Errorline("argument should be boolean in '%P'\n",call);
modules.c:    Errorline("argument missing in '%P'\n",call);
modules.c:  Warningline("%P not implemented yet...\n",call);
modules.c:  Traceline("match persistent %P with %P\n",u,v);
modules.c:  /* printf("u=%ld, v=%ld, heap_pointer=%ld\n",u,v,heap_pointer);*/
modules.c:  /* printf("u=%s, v=%s\n",
modules.c:  /* printf("compare=%d\n",compare); */
modules.c:	Warningline("attributes don't unify in %P and %P\n",u,v);
modules.c:      dummy_printf("%s %s\n",u->key,v->key);
modules.c:	Warningline("alias: '%s' has now been overwritten by '%s'\n",
modules.c:      Errorline("module violation: cannot alias '%s' from module \"%s\"\n",
modules.c:    Errorline("argument(s) missing in '%P'\n",g);
modules.c:    Errorline("undefined module \"%s\"\n",s);
modules.c:      Warningline("local definition of '%s' overrides '%s'\n",
modules.c:    Warningline("feature '%s' is now private, but was also declared public\n",
modules.c:    Errorline("argument missing in '%P'\n",call);
parser.c:    printf("%3ld: ",i);
parser.c:    printf(" prec=%4ld  ",int_stack[i]);
parser.c:  //  printf("before find in feature_insert feature=%s\n",keystr);
parser.c:    Syntaxerrorline("duplicate feature %s\n",keystr);
parser.c:	      sprintf(s,"%ld",v);
parser.c:	    sprintf(s,"%ld",count);
parser.c:		Syntaxerrorline("',' expected in argument list (%E)\n");
parser.c:	  Syntaxerrorline("':' occurs where '&' required (%E)\n");
parser.c:		    Syntaxerrorline("')' missing (%E)\n");
parser.c:      Syntaxerrorline("bad expression (%E)\n");
parser.c:	    Syntaxerrorline("'%P' (%E)\n",&t);
print.c:  sprintf(seg_format,"%%%0dld",PRINT_POWER);
print.c:    sprintf(tmp1,"%c",g%26+'A');
print.c:    sprintf(n1,"%ld",(long)p);
print.c:    sprintf(n1,"%ld",(long)p);
print.c:    sprintf(n1,"%ld",(long)v);
print.c:  if (s[0]=='%') return FALSE;
print.c:    sprintf(nn1,"%ld",(long)cdr);
print.c:  sprintf(nn1,"%ld",(long)p);
print.c:      /* sprintf(name,"_%ld%c",++gen_sym_counter,0); */
print.c:    sprintf(nn2,"%ld",(long)p);
print.c:    /* if (trace) printf("<%ld>",t->status); For brunobug.lf PVR 14.2.94 */
print.c:	    sprintf(segbuf[seg],"%s%ld",(neg?"-":""),(unsigned long)val);
print.c:	    sprintf(buf,"%lg",*(REAL *)t->value);
print.c:	    sprintf(buf,"stream(%ld)",(long)t->value);
print.c:      sprintf(s,"%ld",v);
print.c:    fprintf(outfile,"%s",i->str);
print.c:  sprintf(nn1,"%ld",(long)tok);
sys.c:      Errorline("Illegal argument in %P.\n",funct);
sys.c:	Errorline("Illegal argument in %P.\n",funct);
sys.c:	Errorline("Missing argument '%s' in %P.\n",argi[i].feature,funct);
sys.c:    Errorline("negative argument in %P.\n",funct);
sys.c:    if ((bits % sizeof(char)) != 0) bytes++;
sys.c:  int j = idx % sizeof(char);
sys.c:    Errorline("Index out of bound in %P.\n",funct);
sys.c:  fprintf(stderr,"Regexp Error: %s\n",s);
sys.c:    Errorline("compilation of regular expression failed in %P.\n",funct);
sys.c:      Errorline("Illegal offset in %P.\n",funct);
sys.c:	sprintf(buffer,"%d",i);
sys.c:	sprintf(buffer,"%d",i);
sys.c:      Errorline("Unknown address family in %P.\n",funct);
sys.c:      Errorline("SOCK_RAW not supported in %P.\n",funct);
sys.c:      Errorline("Unknown socket type in %P.\n",funct);
sys.c:      Errorline("fdopen failed on socket in %P.\n",funct);
sys.c:      Errorline("Missing port number in %P.\n",funct);
sys.c:	Errorline("%s failed for %P.\n",
sys.c:      Errorline("%s failed in %P.\n",do_bind?"bind":"connect",funct);
sys.c:      Errorline("%s failed in %P.\n",do_bind?"bind":"connect",funct);
sys.c:    Errorline("Too few arguments in %P.\n",funct);
sys.c:      Errorline("fdopen failed on socket in %P.\n",funct);
sys.c:      Errorline("symbol %s already defined in %P.",key->combined_name,funct);
sys.c:    fprintf(stderr,"unify_pterm_result called with n<0: n=%d\n",n);
sys.c:    sprintf(buf,"%ld",n);
sys.c:    Errorline("Unexpected wait status: %d",status);
sys.c:    sprintf(buffer,"%ld",(long)*(REAL*)args[1]->value);
sys.c:    sprintf(buffer,"%ld",(long)*(REAL*)args[1]->value);
sys.c:    sprintf(buffer,"%ld",(long)*(REAL*)args[1]->value);
sys.c:    Errorline("1st arg not a function in %P.\n",funct);
token.c:    Syntaxerrorline("Module violation (%E).\n");
token.c:    printf("Creating new state for file '%s', module '%s'\n",
token.c:	sprintf(r,"%s%s",user,t1);
token.c:	/* if (warning()) printf("couldn't find user '%s'.\n",user) */;
token.c:	sprintf(r,"%s%s",home,s+1);
token.c:  /* printf("*** Using file name: '%s'\n",r); */
token.c:    Errorline("file '%s' does not exist.\n",file);
token.c:    Errorline("file '%s' could not be opened for output.\n",file);
token.c:      if (input_stream==stdin) Infoline("%s",prompt); /* 21.1 */
token.c:	printf("%c",c);
token.c:  /* printf("%c\n",c); RM: Jan  5 1993  Just to trace the parser */
token.c:    Errorline("in tokenizer, put_back_char three times (last=%d).\n",c);
token.c:    Errorline("in parser, put_back_token three times (last=%P).\n",t);
token.c:  perr_i("near line %ld",(long)psi_term_line_number);
token.c:    perr_s(" in file \042%s\042",input_file_name);
token.c:  Read a comment starting with '%' to the end of the line.
token.c:      Syntaxerrorline("end of file reached before end of string (%E).\n");
token.c:      Syntaxerrorline("Hexadecimal digit expected (%E).\n");
token.c:    fprintf(stderr,"base2int('%c'): illegal argument\n",n);
token.c:	Warningline("string too long, extra ignored (%E).\n");
token.c:	    Warningline("name too long, extra ignored (%E).\n");
token.c:    /* printf("module=%s\n",module->module_name); */
token.c:    case '%':
token.c:	/*printf("c2=%d\n",c2);*/
token.c:		    Errorline("illegal character %d in input (%E).\n",c);
trees.c:      // printf("INTEGERCMP str1=%s str2=%s\n",str1,str2);
trees.c:      // printf("featcmp for LONG %ld %ld\n",int1,int2);
trees.c:    sprintf(nnn1,"%ld",(long)(*tree)->key);
trees.c:    printf("%s ",keystr);
trees.c:	sprintf(nnn1,"%ld",(long)tree->key);
trees.c:    printf("Find: '%s' -> %x\n",keystr,result);
types.c:        Warningline("extending definition of sort '%s'.\n",d->keyword->symbol);
types.c:        Errorline("the %T '%s' may not be changed.\n", /*  RM: Jan 27 1993  */
types.c:          Errorline("the built-in %T '%s' may not be extended.\n",
types.c:          Warningline("extending the %T '%s'.\n",d->type,d->keyword->symbol);
types.c:	Errorline("the declaration '%P <| %P' is illegal.\n",t1,t2);
types.c:    Errorline("the %T '%s' may not be redefined as a sort.\n",  
types.c:    Errorline("the %T '%s' may not be redefined as a sort.\n",  
types.c:        Warningline("'%s' is a sort. It can be extended without a declaration.\n",
types.c:          Warningline("'%s' is a built-in--it has not been made dynamic.\n",
types.c:        Warningline("'%s' is a sort--only functions and predicates\
types.c:    Errorline("bad sort declaration '%P' (%E).\n",t);
types.c:  a(attr) <| b.				% (a<|b)
types.c:  a(attr) <| {b;c;d}.			% (a<|b, a<|c, a<|d)
types.c:  a := b(attr).				% (a<|b)
types.c:  a := {b(attr1);c(attr2);d(attr3)}.	% (b<|a,c<|a,d<|a)
types.c:          Warningline("attributes ignored left of ':=' declaration (%E).\n");
types.c:                Warningline("attributes ignored in sort declaration (%E).\n");
types.c:          Warningline("attributes ignored left of ':=' declaration (%E).\n");
types.c:          Warningline("attributes ignored right of '<|' declaration (%E).\n");
types.c:      Errorline("argument missing in sort declaration (%E).\n");
types.c:    Errorline("argument missing in sort declaration (%E).\n");
types.c:        Errorline("the %T '%s' may not be redefined as a sort.\n",
types.c:      Errorline("bad argument in sort declaration '%P' (%E).\n",t);
types.c:    Errorline("argument missing in sort declaration (%E).\n");
types.c:  perr_s("%s",d->keyword->symbol);
types.c:    Traceline("*** Codes:\n%C= %s\n", NULL, nothing->keyword->symbol);
types.c:	    Traceline("%C = %s\n", code, xdef->keyword->symbol);
types.c:    Traceline("%C = @\n\n", top->code);
types.c:    Traceline("*** Encoding done, %d sorts\n",type_count);
types.c:    outputline("%C = %s\n",
types.c:    /* printf("glb of %s and %s\n",
types.c:	/* printf("v1=%d, v2=%d, v3=%d\n",v1,v2,v3); */
types.c:  /* printf("result=%d\n\n",result); */
types.c:  printf("overlap_type(%s,%s) => %ld\n",t1->def->keyword->symbol,t2->def->keyword->symbol,result);
xdisplaylist.c:    /* does not work with a pixmap, only with windows !! @#@^&%#(*&! - jch */
xdisplaylist.c:    "%!PS-Adobe-2.0\n",
xdisplaylist.c:	sprintf (nstr, "%ld ", n);
xdisplaylist.c:		if (i%4==0)
xdisplaylist.c:	Errorline ("\n*** Error: cannot open file %s.\n", filename);
xpred.c:  Errorline("X error message: %s.\n",msg);
xpred.c:    Errorline("in GetIntAttr: didn't find %s on %P\n",
xpred.c:      Errorline("could not open connection in %P.\n",g);
xpred.c:      Errorline("could not get connection attribute in %P.\n",g);
xpred.c:      Errorline("could not get screen attribute in %P.\n",g);
xpred.c:      Errorline("could not create a simple window in %P.\n",g);
xpred.c:      Errorline("could not create window in %P.\n",g);
xpred.c:      Errorline("could not get the geometry in %P.\n",g);
xpred.c:      Errorline("could not get a window attribute in %P.\n",g);
xpred.c:      Errorline("could not set window attribute in %P.\n",g);
xpred.c:      Errorline("could not create gc in %P.\n",g);
xpred.c:      Errorline("could not get gc attribute in %P.\n",g);
xpred.c:      Errorline("could not set gc attribute in %P.\n",g);
xpred.c:      Errorline("could not request a color in %P.\n",g);
xpred.c:      Errorline("could not request a named color in %P.\n",g);
xpred.c:      Errorline("could not load a font in %P.\n",g);
xpred.c:      Errorline("bad font in %P.\n",g);
xpred.c:  Errorline("X event handling error in CDR(%P)\n",lst);
xpred.c:  Errorline("X event handling error in CAR(%P)\n",lst);
xpred.c:      Errorline("%P is not an event in %P.\n",val[2],g);
xpred.c:  /* printf("root: %ld\nchild: %ld\n",root_return,child_return); */
xpred.c:	      Infoline("%s",prompt); 
xpred.c:  /* printf("mask=%d,type=%d=%s\n",mask,type,xevent_name[type]); */
xpred.c:  /* printf("FALSE\n"); printf("event mask=%d\n",em); */
xpred.c:  /* printf("building event: type=%s event=%s\n",
xpred.c:	  /* printf("Event type = %ld.\n",event.type); */
xpred.c:	    /* printf("Expose count = %ld.\n", event.xexpose.count); */
xpred.c:	  /* printf("*** event %d ***\n",event.type); */
xpred.c:  /*infoline("xevent_list=%P\n",xevent_list); */
xpred.c:  /* printf("display=%d,window=%d,mask=%d\n",
xpred.c:    /* printf("*** here event %d ***\n",event.xany.type); */
