pub const PRESENT2: u64 = 0x5d307d6198d76a65;