allow-quickcheck-2.7
