swap(ref A: OBJECT, ref B: OBJECT)
/**/ A := 1; /**/ B := 2; /**/ swap(ref A, ref B); /**/ PrintLn [A,B]; [2, 1]