pub const PRESENT: u64 = 0x50acc2aa1f0acec7;