php_all_sys::php72

Constant ZEND_FUNC_GET_ARGS

Source 
pub const ZEND_FUNC_GET_ARGS: u32 = 195;