(define x 1)
(define y 2)
(define z 3)
(define test
   (lambda (x)
       (local
           ((define y 5))
           (+ (local
                  ((define x (lambda (x y) (* x y)))
                   (define y 5))
                  (x y z))
              x))))
(test 7)