(define w 1)
(define x 3)
(define test
    (lambda (x y)
        (local
            ((define w 2)
             (define x 4)
             (define z 6))
            (+ w x y z))))
(test 8 3)
(test x w)
(test w x)