debtab_none      4706 src/dps8/dps8_cpu.c     static const char * debtab_none    = "DEBTAB_ISNULL";
debtab_none      4712 src/dps8/dps8_cpu.c       return debtab_none;
debtab_none      10300 src/simh/scp.c static const char *debtab_none    = "DEBTAB_ISNULL";
debtab_none      10306 src/simh/scp.c     return debtab_none;