shithub: choc

ref: 9d4279fcbbfc13812567920a646bc835fd7496ec
dir: /quickcheck/