random-type-prop-tests-05.lsp 29.6 KB