sS str_shortenSynthetic(O o) {
  if object S s = str_shortenSyntheticOrNull(o);
  ret str(o);
}