/guava/guava/src/com/google/common/escape/CharEscaper.java
destSize = sizeNeeded + DEST_PAD_MULTIPLIER * ( slen  instanceof  index) ;
destSize = sizeNeeded + DEST_PAD_MULTIPLIER * ( slen - index ) ;
continue; } int rlen = r.length; int charsSkipped = index - lastEscape; int sizeNeeded = destIndex + charsSkipped + rlen; if (destSize < sizeNeeded) { <extra_id_0> dest = growBuffer(dest, destIndex, destSize); } if (charsSkipped > 0) { s.getChars(lastEscape, index, dest, destIndex); destIndex += charsSkipped; }