definition module nodebug trace_n` msg a :== a DebugStr` msg a :== a