quickcheck examples