<br />
<b>Warning</b>:  session_start(): open(/var/lib/php/sessions/sess_eipilrrmnpe36avu1jbf4sk5vv, 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 />
!7

static int maxWords = 100000;
static int maxWordLength = 10;
static int topTenTargetLength = 10;

static Map<S, Long> map;
static L<S> topTen;

p-subst {
  tt();
  centerHigherConsole();
  map = l_persistentTreeMap("Words + count");
  topTen = l_persistentList("Top Ten");
  printTopTen();
  botIfMain();
}

svoid addWordHits(Collection<S> words) {
  for (S word : words) {
    word = shorten(word, maxWordLength);
    long count = longMultiSet_add(map, word);
    insertToTopTen(word, count);
  }
}

svoid insertToTopTen(S word, long count) {
  int originalIndex = indexOf(topTen, word);
  int i = originalIndex < 0 ? l(topTen) : originalIndex;
  while (i > 0 && count >= toLong(map.get(topTen.get(i-1))))
    --i;
  if (i >= topTenTargetLength || i == originalIndex) ret;
  if (originalIndex >= 0) topTen.remove(originalIndex);
  topTen.add(i, word);
  truncateList(topTen, topTenTargetLength);
}

svoid printTopTen {
  printAsciiHeading("TOP TEN");
  pnl(map(topTen, func(S s) { s + " - " + map.get(s) }));
}

answer {
  if "clear top ten" { topTen.clear(); ret "OK"; }
  addWordHits(words2(s));
  printTopTen();
  try answer "OK";
}