Constant PHP_HAVE_BUILTIN_SSUBL_OVERFLOW 

pub const PHP_HAVE_BUILTIN_SSUBL_OVERFLOW: u32 = 1;