sS quoteShorten(int len, S s) {
  ret quote(shorten(len, s));
}