shithub: choc

ref: df6affc8398428bad666f8de73f11d02698e86ef
dir: /quickcheck/