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