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