redesign exiting SBCL