static L<Int> allToInt(Collection l) {
  ret map toInt(l);
}