php_all_sys::php72

Constant ZEND_LIVE_ROPE

Source 
pub const ZEND_LIVE_ROPE: u32 = 3;