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