pub const VSL_BRNG_MRG32K3A: u32 = 3145728;