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