> I've gotten the impression that ext names can not be relied upon to always
> be the same for any given object, but what kind of operations will cause
> them to change?
Can you describe where you observed such an effect? External symbol
names are absolutely constant, there is no way to change them, as the
name _is_ the symbol's address in the DB.
Are you sure you did not accidentally create new objects?