shithub: choc

ref: 59e55e2780b4aa8ac802520f1c2e84cdac42daca
dir: /quickcheck/