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