shithub: choc

ref: e1ac9379f676b38d2c2c003efc41b81bcfcdb29c
dir: /quickcheck/