I just noticed this now; is there any possibility that this key could get modified? Because if it is modified, then it will affect all future `ObjView`s that don't provide a `key`.