#lang plai-dynamic
(define  (blah func x) (func x))

(let ([x 3])
  (let ([f (λ (y) (+ x y))])
    (let ([x 5])
      (blah f 4))))