Comment by lamby

> Pointer colouring

(Is this the same as pointer tagging?)