.lisp

(defun foo ()
  (let ((b 123))
    (flet ((set-b (x)
             (setf b x)))
      (declare (inline set-b))
      (format t "outer b = ~s~%" b)
      (let ((b 345))
        (format t "inner b = ~s~%" b)
        (set-b 0)
        (format t "inner b = ~s~%" b))
      (format t "outer b = ~s~%" b))))
      
(foo)
;; sbcl, ccl, ecl interpreted
outer b = 123
inner b = 345
inner b = 345
outer b = 0

;; ecl 16.1.3 compiled
outer b = 123
inner b = 345
inner b = 0
outer b = 123