Quickcheck test.