Add tests for tagged pointers