pub const FIRST_ADDR_PAST_32BITS: u64 = _; // 4_294_967_296u64
First address that cannot be addressed using 32 bit anymore.