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

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