Support for untagged pointers