quickcheck port