// This is for main classes that are all static.
// (We don't go to base classes.)
static Set<S> listFields(O c) {
  new TreeSet<S> fields;
  for (Field f : _getClass(c).getDeclaredFields())
    fields.add(f.getName());
  return fields;
}