[nhc-bugs] Mystery error while compiling for tracing