shithub: choc

ref: 9943fcfd70b75bf5182dd3a0b7b7a8b7ce5cd2e0
dir: /quickcheck/