Comment 1 for bug 1824351

(defun f371 ()
  (catch 'ct
    (flet ((%f14 (x)
             (the fixnum x)))
      (if (logbitp 0
                   (multiple-value-call #'%f14 1))
          (the integer (%f14 2))))))