[slime-devel] unhooking from slime before saving sbcl core?