People keep forgetting that SPARC ADI did it first with hardware memory tagging for C.