static int minInt(Iterable<Int> l) {
  ret intMin(l);
}



static int minInt(int... l) {
  ret intMin(l);
}