[slime-devel] slime-restart-inferior-lisp weirdness