(flush-standard-output-streams)
(debug-prompt *debug-io*)
(force-output *debug-io*)
(with-simple-restart (abort
"~@<Reduce debugger level (to debug level ~W).~@:>"
level)
(flush-standard-output-streams)
(debug-prompt *debug-io*)
(force-output *debug-io*)
(with-simple-restart (abort
"~@<Reduce debugger level (to debug level ~W).~@:>"
level)