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