shithub: choc

ref: d8b42f219ae4f4a9ecbd05d678e1726b6179803e
dir: /quickcheck/