*@x := *@y;