shithub: choc

ref: ab5066b714958ba1d90392a606d0c93a3ab89e2e
dir: /quickcheck/