pub const FUZZ: u64 = 0x62fe3684ea23af62;