newer-quickcheck.diff
