(run "

let a = 3
in
  let
    p = proc (x) +(x,a)
    a = 5
  in 
    % In dynamic call, a = 5 so it returns 7.
    % In static call,  a = 3 so it returns 5.
    % Result should be 2.
    -((dynamic p value 2), (static p value 2))

")