pub const _RAND48_MULT_0: u32 = 58989;