sS str_shortenSyntheticAndStandardToString(O o) {
  if (implementsCustomToString(o)) ret str(o);
  ret str_shortenSynthetic(o);
}