CurryCheck.curry 36 KB