hdbgTrace          34 src/dps8/hdbg.h void hdbgTrace (const char * ctx);
hdbgTrace         109 src/dps8/hdbg.h #  define HDBGTrace(c) hdbgTrace(c)