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