random-type-prop-tests-08.lsp 12 KB