arginfo_numberformatter_setsymbol  124 ext/intl/formatter/formatter_class.c ZEND_BEGIN_ARG_INFO_EX(arginfo_numberformatter_setsymbol, 0, 0, 2)
arginfo_numberformatter_setsymbol  171 ext/intl/formatter/formatter_class.c 	PHP_NAMED_FE( setSymbol, ZEND_FN( numfmt_set_symbol ), arginfo_numberformatter_setsymbol )