php_all_sys::php74

Constant ZEND_INSTANCEOF

Source 
pub const ZEND_INSTANCEOF: u32 = 138;