pub const HAVE_RAND_R: u32 = 1;