Re: [cl-prevalence-devel] clisp patch