Reduced to:
(defun f57 () (declare (optimize (debug 1))) (let ((v (list (list :good) (labels ((r (x) (cond (x) (t (r 33))))) (r nil))))) (declare (dynamic-extent v)) (caar v)))
Reduced to:
(defun f57 ()
(labels ((r (x)
(cond (x)
( t
(r 33)))))
(r nil)))))
(declare (optimize (debug 1)))
(let ((v (list (list :good)
(declare (dynamic-extent v))
(caar v)))