ekretschmann/quickcheck archive