pub const BOXED_MASK: u64 = 0xFFF8_0000_0000_0000;
Mask covering the boxed-marker prefix (top 13 bits).