program pointer;

var p1 := newat();
    p2 := newat();

    mem2 := { [p1,"a"], [p2, "b"] };

x := p1;
y := x;
mem2(x) := "hello";
print(mem2(y));

end pointer;