shithub: choc

ref: c7cde80ed8903768d81567aca781ee6acbb05a40
dir: /quickcheck/