That example does not use SLIME ( <a href="https://slime.common-lisp.dev" rel="nofollow noreferrer">https://slime.common-lisp.dev</a> ).<p>It uses LispWorks ( <a href="https://www.lispworks.com/products/lispworks.html" rel="nofollow noreferrer">https://www.lispworks.com/products/lispworks.html</a> ).