[baobob]

Don't know the guts of the optimization, but 128 64bit pointers is 1024, which is a round number. Could be to avoid memory or cache blowup, or maybe they're using that 8th bit for something internally