shithub: choc

ref: d77ef6d7064ccc1f06984c5f231d16dc68e22567
dir: /quickcheck/