Assign the value `"John"` to `user`.