Constant HAVE_AVX512_EXTERNAL

Source
pub const HAVE_AVX512_EXTERNAL: u32 = 1;