sS p_nemptyLines_showFirst(int maxLines, Collection l) {
  if (l(l) <= maxLines) ret p_nemptyLines(l);
  ret p_nemptyLines(listPlus(takeFirst(maxLines, l), "..."));
}