Constant PHP_HAVE_AVX2_INSTRUCTIONS 

pub const PHP_HAVE_AVX2_INSTRUCTIONS: u32 = 1;