utf16_hi         1244 ext/json/json_scanner.c 		int utf32, utf16_hi, utf16_lo;
utf16_hi         1245 ext/json/json_scanner.c 		utf16_hi = php_json_ucs2_to_int(s, 4);
utf16_hi         1247 ext/json/json_scanner.c 		utf32 = ((utf16_lo & 0x3FF) << 10) + (utf16_hi & 0x3FF) + 0x10000;