As debugTrace is a macro we must take care to ensure that
the fact is clear to the compiler lest we see warnings.