Constant PHP_HAVE_AVX512_VBMI_SUPPORTS 

pub const PHP_HAVE_AVX512_VBMI_SUPPORTS: u32 = 1;