Constant ZEND_USER_OPCODE_LEAVE

Source
pub const ZEND_USER_OPCODE_LEAVE: u32 = 4;