php_all_sys::php72

Constant ZEND_PRE_DEC

Source 
pub const ZEND_PRE_DEC: u32 = 35;