sS shorten_str(O o) {
  ret shorten(str(o));
}