pub const RAND_MAX: c_int = 2147483647;