Comment 1 for bug 1722342

Reduced:
(defun f15 (b)
  (catch 'ct2
    (block b5
      (return-from b5
        (multiple-value-prog1 19
          (if (or b t)
              (return-from b5)))))))