sS str_shortenSynthetic(O o) {
  if (isInstanceOfSyntheticClass(o)) ret "Synthetic instance of " + o.getClass();
  ret str(o);
}