shithub: choc

ref: 9dc7a7f5d543317b2fd7c63a4ca1c3d14eebf205
dir: /quickcheck/