(define x 1)
(define y 1)
(local
    ((define x 2)
     (define y x))
    (+ x y))
(+ x y)