php_all_sys::php71

Constant ZEND_JMP_SET

Source 
pub const ZEND_JMP_SET: u32 = 152;