sb.append("misc=").append(counts[miscIdx]).append("\n");
sb.append("misc=").append(counts[miscIdx]);
  public String toString() {    StringBuffer sb = new StringBuffer(6 * counts.length);    sb.append("size=").append(counts[sizeIdx]).append(" ");    for (int i = firstRealUid; i < counts.length; i++)      sb.append(symbols[i]).append("=").append(counts[i]).append(" ");    sb.append("misc=").append(counts[miscIdx]).append("\n");    return sb.toString();  }