updated x via dereferenced pointer *y