Variable-to-variable binding, scope.

declare
X = 5
proc {P Y}
   {Browse X + Y}
end

{P 1}

local X in
   X = 3
   {P 1} %%% are we going ot get 6 or 4?
end

CSci 4651 course web site.