sS shorten80(O o) {
  ret shorten(80, str(o));
}