hdbg_print       3952 src/dps8/dps8_sys.c     {"PHDBG",              hdbg_print,            0, "Dump history buffer to 'hdbg0000.list'\n",                 NULL, NULL},
hdbg_print         23 src/dps8/hdbg.h t_stat hdbg_print (int32 arg, UNUSED const char * buf);