pub const CHECK: u64 = 0x81e85b3190e7db3;