pub const _RAND48_MULT_1: u32 = 57068;