Constant ZEND_USER_OPCODE_LEAVE 

pub const ZEND_USER_OPCODE_LEAVE: u32 = 4;