pub const BIT56: u64 = 72057594037927936;