Re: [nhc-bugs] Mystery error while compiling for tracing