static int getInt(Collection c, int i) {
  ret toInt(get(c, i));
}