Constant PHP_HAVE_BUILTIN_UNREACHABLE 

pub const PHP_HAVE_BUILTIN_UNREACHABLE: u32 = 1;