shithub: choc

ref: c74cb1b65f46fc2b3846238418bc6c8272d454a3
dir: /quickcheck/