[slime-devel] strange failure with the sbcl backend