pub const HAVE_DECL_ARC4RANDOM_BUF: u32 = 0;