// o can also be a class
static Map<S, Int> staticFinalIntFields(O o) ctex {
  new TreeMap<S, Int> map;
  
  for (Field f : staticFields(o))
    if ((f.getModifiers() & Modifier.FINAL) != 0
      && f.getType() == primitiveIntType()) {
        f.setAccessible(true);
        map.put(f.getName(), (Int) f.get(null));
      }
  ret map;
}