shithub: choc

ref: 2ca5c793d6bc52ba2fda3cfe41d7adfeae20499c
dir: /quickcheck/