shithub: choc

ref: 86c6148b2141c3d0d08137dd377f80087321cc98
dir: /quickcheck/