debtab_none      4445 src/dps8/dps8_cpu.c     static const char * debtab_none    = "DEBTAB_ISNULL";
debtab_none      4451 src/dps8/dps8_cpu.c       return debtab_none;
debtab_none      10117 src/simh/scp.c static const char *debtab_none    = "DEBTAB_ISNULL";
debtab_none      10123 src/simh/scp.c     return debtab_none;