Simplified more:
(defun foo () (block nil (oddp (multiple-value-prog1 (progv nil nil (return)) (catch 'ct5 (return))))))
Simplified more:
(defun foo () value-prog1 (progv nil nil (return))
(block nil
(oddp
(multiple-
(catch 'ct5 (return))))))