static MultiSet<Int> intArrayAsTreeMultiSet(int[] a) {
  if (a == null) null;
  MultiSet<Int> ms = treeMultiSet();
  for (int i : a)
    ms.add(i);
  ret ms;
}