Currently, some methods contain a debug_assert that tests if a value is undefined before using it (e.g. VarIdPacked32::unpack). In theory, such check would be useful in almost all methods on these types, but probably unnecessary. Review the code and discuss if it is useful/needed.