No CoreLint warnings if -dno-debug-output is on