Простой пример использования степпера в SBCL

Выполнение вычислений с помощью степпера LispWorks довольно интуитивно понятно, но я не могу понять это в SBCL. Может кто-нибудь дать мне пошаговый пример того, как использовать шаговый двигатель SBCL в REPL для какой-то простой функции? Спасибо.