pub const RESEED_INTERVAL: i32 = 10000; // 10_000i32