static <A> long exhaustIterator(Iterator<A> it) {
  long n = 0;
  if (it != null) while ping (it.hasNext()) { ++n; it.next(); }
  ret n;
}