pub const ZEND_IS_NOT_IDENTICAL: u32 = 17;