pub const VSL_BRNG_MT19937: u32 = 8388608;