shithub: choc

ref: 7dbd6b77f3ae89741a54f9eb96fdde44a8979b7b
dir: /quickcheck/