shithub: choc

ref: 96b0a77bed5e93dc18dde7743d486cd34af3b82e
dir: /quickcheck/