bit-vector-p.lsp 1.5 KB