static <A> void exhaustIterator(Iterator<A> it) {
  if (it != null) while (it.hasNext()) it.next();
}