#lang smol/dyn-scope-is-bad
(deffun (blah func val) (func val))
(let ([x 3])
  (let ([f (λ (y) (+ x y))])
    (let ([x 5])
      (blah f 4))))