This will do the wrong thing on platforms where size_t is 32 bits.