shithub: choc

ref: 9ad7b281f19e3a95b46c4a212250b5d8b3be3da2
dir: /quickcheck/