pub const CRASH: u64 = 0x76872d19611aa8ac; // 8_540_844_805_358_004_396u64