debug_type       4678 src/dps8/dps8_cpu.c         const char * debug_type = get_dbg_verb (dbits, dptr);
debug_type       4727 src/dps8/dps8_cpu.c                                          current_running_cpu_idx, dptr->name, debug_type, i-j, &buf[j]);
debug_type       10209 src/simh/scp.c const char* debug_type = get_dbg_verb (dbits, dptr);
debug_type       10246 src/simh/scp.c               "", dptr->name, debug_type);