pub const CUSTOM_ZERO: u64 = (1 as u64) << BUILTIN_BIT_SHIFT; // 0x0000_0001_0000_0000u64