Sorry, sorry!  Ignore my previous two commits.  I mixed up the version
of python with which I tried running the crashers.  They don't crash
the current HEAD.
2 files changed