php_all_sys::php80

Constant ZEND_AST_IS_LIST_SHIFT

Source 
pub const ZEND_AST_IS_LIST_SHIFT: u32 = 7;