pub const PHP_HAVE_BUILTIN_CPU_SUPPORTS: u32 = 1;