quickcheck example