php_all_sys::php72

Constant ZEND_USER_OPCODE_LEAVE

Source 
pub const ZEND_USER_OPCODE_LEAVE: u32 = 4;