progfun2-quickcheck