(letrec ((g (lambda ()
                (+ a b c d)))
         (f (lambda (a b c d)
                (g))))
    (f 1 2 3 4))  

; With static binding: Error: reference to undefined identifier: a
; With dynamic binding: 10