Constant RAND_MAX 

pub const RAND_MAX: c_int = 0x7fff_fffd;