Sometimes the compiler will optimize things and use the same object.
You can easily test if s==k and see if they are equal today.
Not something that you should assume will always be true.