sS charIteratorToString(CharacterIterator it) {
  if (it == null) null;
  new StringBuilder buf;
  while (it.hasNext())
    buf.append(it.next());
  ret str(buf);
}