shithub: choc

ref: c6b03a77a3d62ff96e164dd46f2cd43a6461ee62
dir: /quickcheck/