Constant miri::borrow_tracker::stacked_borrows::item::PERM_MASK

source ยท 
const PERM_MASK: u64 = _; // 6_917_529_027_641_081_856u64