hdbg_print       3947 src/dps8/dps8_sys.c     {"PHDBG",              hdbg_print,            0, "Display history size\n",                                   NULL, NULL},
hdbg_print         23 src/dps8/hdbg.h t_stat hdbg_print (int32 arg, UNUSED const char * buf);