hdbgSegmentNumber 3995 src/dps8/dps8_sys.c     {"HDSEG",              hdbgSegmentNumber,     0, "Set history debugger segment number\n",                    NULL, NULL},
hdbgSegmentNumber   31 src/dps8/hdbg.h t_stat hdbgSegmentNumber (UNUSED int32 arg, const char * buf);