(define inc (let (x 1) (lambda (y) (+ x y)))) (inc 1)