php_all_sys::php54

Constant ZEND_USER_OPCODE

Source 
pub const ZEND_USER_OPCODE: u32 = 150;