shithub: choc

ref: 331aed42b4490388d0d60867a731b7b7e63e8f3e
dir: /quickcheck/