var A: newint, import M in A:=@B+1
var A: newint, import external M: { B: intloc, C: comm } in A:=@B+1
Idea is explored later.