with A=loc1 do with M = (P = A:=@A+1) do with M, F=0 do A:=F; P begin alias A=loc1 in begin module M = {proc P = A:=@A+1} in begin import M, fun F=0 in A:=F; call P end end end