shithub: choc

ref: 3c78b254a3c000e58ec93f07e7178b7246fa0e70
dir: /quickcheck/