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);