a @code{type-error}.
This is followed by the ``beginner help line'', which appears only if
-@code{sb-ext:*debugger-beginner-help*} is true (default).
+@code{sb-ext:*debug-beginner-help-p*} is true (default).
Next comes a listing of the active restart names, along with their
descriptions -- the ways we can restart execution after this error. In