pub const LAUNCH: u64 = 0x3af75d84043eb730; // 4_248_967_595_035_637_552u64