Another simpler example:
(defun f325 () (let* ((v (multiple-value-prog1 0))) (catch 'c (dotimes (i 0 v)))))
Another simpler example:
(defun f325 () value-prog1 0)))
(let* ((v (multiple-
(catch 'c (dotimes (i 0 v)))))