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