debug_type       4472 src/dps8/dps8_cpu.c         const char * debug_type = get_dbg_verb (dbits, dptr);
debug_type       4523 src/dps8/dps8_cpu.c                                          current_running_cpu_idx, dptr->name, debug_type, i-j, &buf[j]);
debug_type       10143 src/simh/scp.c const char* debug_type = get_dbg_verb (dbits, dptr);
debug_type       10180 src/simh/scp.c               "", dptr->name, debug_type);