hdbg_size        3994 src/dps8/dps8_sys.c     {"HDBG",               hdbg_size,             0, "Set history debugger buffer size\n",                       NULL, NULL},
hdbg_size          28 src/dps8/hdbg.h t_stat hdbg_size (int32 arg, UNUSED const char * buf);