Constant HAVE_AVX512

Source
pub const HAVE_AVX512: u32 = 1;