Also, same bug from:
(defun bug075 (b) (catch 'ct2 (multiple-value-prog1 (multiple-value-prog1 (restart-case 0)) (restart-case 0) b 0)))
Also, same bug from:
(defun bug075 (b) value-prog1 (multiple- value-prog1 (restart-case 0))
(restart- case 0)
(catch 'ct2
(multiple-
b
0)))