pub const ZEND_USER_OPCODE_LEAVE: u32 = 4;