Tagged pointers for dynamically allocated objects