pub const NEXT: u64 = 0x9de6bbc87c314d9; // 711_124_248_646_849_753u64