I typed in and compiled the standard definiion of FACT and try to trace it.
(defun fact (a) (if (= a 0) 1 (* a (fact (1- a)))) (compile 'fact) (trace fact) results in an internal error "debug-internals:make-breakpoint FUNCTION-END breakpoints are unsupported for the known return convention.
