(defparameter *abcl1*
  '(lambda (a)
    (declare (optimize (debug 0) (compilation-speed 1)
              (speed 2) (space 3) (safety 1)))
    (ash 0
     (bit #*0100
      (catch 'ct7 a)))))

(defun test1 ()
  (let ((fn (compile nil *abcl1*)))
    (mapcar fn '(0 1 2 3))))

(test1) ==>

; Caught ERROR:
;   Stack inconsistency detected in <unknown> at index 40: found 2, expected 0.