pub const _RAND48_MULT_1: u32 = 57068; // 57_068u32