static int[] listToIntArray(Cl<Int> l) {
  ret toIntArray(l);
}