I was looking through the source code for the latest version
(23.0) of Crafty
recently. It is a CPU and time sensitive program, so I ran
gprof on it to see what it spent its time on. About 85% of
the time was spent calling ValidatePosition(), which didn't
seem to be doing anything of importance. I looked around a
little bit and saw this was happening because the Makefile's
-DDEBUG flag was on by default for a make linux, and that
this was not well documented (it's not there by default for
22.9). I suspect that the flag was left in there by error
before it was packaged for release. Anyhow, I sent them off
a note.