debug_type       4717 src/dps8/dps8_cpu.c         const char * debug_type = get_dbg_verb (dbits, dptr);
debug_type       4766 src/dps8/dps8_cpu.c                                          current_running_cpu_idx, dptr->name, debug_type, i-j, &buf[j]);
debug_type       10201 src/simh/scp.c const char* debug_type = get_dbg_verb (dbits, dptr);
debug_type       10238 src/simh/scp.c               "", dptr->name, debug_type);