shithub: choc

ref: 88fe15083f4d55936c6d7708e35d65facd601a5c
dir: /quickcheck/