shithub: choc

ref: ac228b3486155a0b4859b885f336769426237761
dir: /quickcheck/