static int[] litintarray(int... l) {
  ret cloneIntArray(l);
}