sS str_shortenSyntheticOrNull(O o) {
  if (isInstanceOfSyntheticClass(o)) ret "Synthetic instance of " + joinWithSlash(map(c -> "interface " + shortClassName(c), o.getClass().getInterfaces()));
  null;
}