Constant RAND_MAX 

pub const RAND_MAX: c_int = 2147483647;