shithub: choc

ref: 49ce3adaa76e2c80e264a640a5d812a3898df106
dir: /quickcheck/