php_all_sys::php80

Constant ZEND_JMP_NULL

Source 
pub const ZEND_JMP_NULL: u32 = 198;