pub const VERIFY: u64 = 0x83fd280ed680d48;