pub const ADDR_MASK: u64 = 0x00FF_FFFF_FFFF_FFFF;
Top byte of the u64 is the cardinality encoding; low 56 bits are the address.