(define w 1)
(define x 3)
(define y 5)
(local
    ((define w 2)
     (define x 4)
     (define z 6))
    (+ w x y z))
(+ w x y)