shithub: choc

ref: c5d33676f8395569c2d4544f9766a0160161b373
dir: /quickcheck/