Consider the following simple example:
  local P Q in
    proc {Q X} {Browse stat(X)} end
    proc {P X} {Q X} end
      local Q in
        proc {Q X} {Browse dyn(X)} end
        {P hello}
      end
  end