shithub: choc

ref: 4cff431f0f34bf133a0d8105aa9eb9558cb5305a
dir: /quickcheck/