shithub: choc

ref: 10408d83e5f53cd8b61a45b42ffb22d983f4975a
dir: /quickcheck/