(define foo
  (lambda (x)
    (define y x)
    (define z (+ x 1))
    z))

(foo 3)