pub const VSL_BRNG_NONDETERM: u32 = 14680064;