shithub: choc

ref: 0f125276c0242cde89833c0dabf064f35fdba54b
dir: /quickcheck/