(def foo
  (fn (x)
    (def y x)
    (def z (+ x 1))
    z))

(foo 3)