pub type ObjId = u32;
A unique id, used to distinguish between objects of the same type.
This is used for pointer translation during (de)serialisation.