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