php_utf32_utf8    973 ext/standard/html.c 						replacement_len = php_utf32_utf8(replacement, k);
php_utf32_utf8   1025 ext/standard/html.c 								q += php_utf32_utf8(q, code);