static <A> Pair<A, Int> multiSetTopPair(MultiSet<A> ms) {
  if (empty(ms)) null;
  A a = ms.getMostPopularEntry();
  ret pair(a, ms.get(a));
}