:step
Trace keyword
:step form
When non-nil, this option puts the trace facility into stepper mode, where interpreted code is printed out one step of execution at a time.
LispWorks User Guide and Reference Manual - 21 Dec 2011
