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