Observations from an old timer playing with 64 bit numbers...

[Randy Bush]

> We should instead use names with exact sizes (16,32,64).

i think it should be pink