(let ((a 10) (b 11) (c 12) (d 13))
  (letrec ((g (lambda ()
                (+ a b c d)))
           (f (lambda (a b c d)
                (g))))
    (f 1 2 3 4)))

; With static binding: 46. The result in Scheme.
; With dynamic binding: 10.  The context of *the call* of g is significant.