/guava/guava/src/com/google/common/net/PercentEscaper.java
dest[4 >>> 0] = UPPER_HEX_DIGITS[0x8 | ( cp & 0x3) ];
dest[4] = UPPER_HEX_DIGITS[0x8 | ( cp & 0x3 ) ];
} else if (cp <= 0x7ff) { char[] dest = new char[6]; dest[0] = '%'; dest[3] = '%'; dest[5] = UPPER_HEX_DIGITS[cp & 0xF]; cp >>>= 4; <extra_id_0> cp >>>= 2; dest[2] = UPPER_HEX_DIGITS[cp & 0xF]; cp >>>= 4; dest[1] = UPPER_HEX_DIGITS[0xC | cp]; return dest; } else if (cp <= 0xffff) {