Re: [slime-devel] problem with slime-pre-command-hook