shithub: choc

ref: ed0a9496b367e21e854ca457a3d19b1937874683
dir: /quickcheck/