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