shithub: choc

ref: a8e90d0cb6e7e8d702bc8a0576d031304803c4da
dir: /quickcheck/