On 64-bit hosts (where size_t is 64 bits and int is 32 bits), the