random-type-prop-tests-04.lsp 6.44 KB