<br />
<b>Warning</b>:  session_start(): open(/var/lib/php/sessions/sess_4uggvjjnke42fbi1mb86jtckhp, O_RDWR) failed: No space left on device (28) in <b>/var/www/tb-usercake/models/config.php</b> on line <b>51</b><br />
<br />
<b>Warning</b>:  session_start(): Failed to read session data: files (path: /var/lib/php/sessions) in <b>/var/www/tb-usercake/models/config.php</b> on line <b>51</b><br />
sS multiSetToLines(MultiSet ms, int max default Int.MAX_VALUE) {
  new LS l;
  if (ms != null) for (O o: ms.highestFirst()) {
    if (l(l) >= max) break;
      l.add(n2(ms.get(o)) + ": " + str(o));
  }
  ret lines(l);
}

static S multiSetToLines(Iterable l, int max default Int.MAX_VALUE) {
  ret multiSetToLines(toMultiSet(l), max);
}