sim_debug_prefix 10221 src/simh/scp.c         (void)fprintf(sim_deb, "%s", sim_debug_prefix(dbits, dptr));         /* print prefix if required */
sim_debug_prefix 10371 src/simh/scp.c     const char* debug_prefix = sim_debug_prefix(dbits, dptr);   /* prefix to print if required */