static int intMax(Collection c, S field) {
  int max = 0;
  for (O o : c)
    max = Math.max(max, toInt(getOpt(o, field)));
  ret max;
}