smallcheck
smallcheck.annotations
smallcheck.generators