pub const HAVE_RANDOM: u32 = 1;