9e95400e5b
with other profiling and debugging options, such as INVARIANTS, WITNESS, kernel profiling, etc. They all interfere with each other nastily and will generate fairly useless results.