[Bit-dev] Re: Diagnostics information in debug output