Extended version of FMCAD submission, enjoy!
Source tarball -- see the README for more info. Oh, I think I forgot to mention in the README that I've only tested this out on linux.