#lang smol/hof
(let ([y 1])
  (let ([f (lambda (x) (+ x y))])
    (let ([y 2]) (f 8))))