php_all_sys::php80

Constant ZEND_LIVE_MASK

Source 
pub const ZEND_LIVE_MASK: u32 = 7;