quickcheck-1.diff
