debug_type       4474 src/dps8/dps8_cpu.c         const char * debug_type = get_dbg_verb (dbits, dptr);
debug_type       4525 src/dps8/dps8_cpu.c                                          current_running_cpu_idx, dptr->name, debug_type, i-j, &buf[j]);
debug_type       10131 src/simh/scp.c const char* debug_type = get_dbg_verb (dbits, dptr);
debug_type       10168 src/simh/scp.c               "", dptr->name, debug_type);