shithub: choc

ref: 6a14787a8a25bf37aacecbd7c42e69ed35e7ad09
dir: /quickcheck/