Comment by munificent

We call it "pointer compression" now. :)