Example

with A=loc$$₁ do
   with M = (P = A:=@A+1) do
      with M, F=0 do
         A:=F; P

begin alias A=loc$$₁ in
   begin module M = {proc P = A:=@A+1} in
      begin import M, fun F=0 in
         A:=F; call P
      end
   end
end