pub const PHP_HAVE_BUILTIN_SADDL_OVERFLOW: u32 = 1;