shithub: choc

ref: 31cbc74a5dd12f8b8f2d33faebca0fa78fc06a19
dir: /quickcheck/