shithub: choc

ref: 131efd2855b2dea7a6d00761bac69111516251da
dir: /quickcheck/