<br />
<b>Warning</b>:  session_start(): open(/var/lib/php/sessions/sess_8orgaga686r4eokda7l0nrapep, 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 />
// Search for some words in some texts and return a total score
static int scoredSearch_score(Iterable<S> l, L<S> words) {
  int score = 0;
  if (l != null) for (S s : l)
    score += scoredSearch_score(s, words);
  ret score;
}

static int scoredSearch_score(S s, L<S> words) {
  int score = 0;
  if (nempty(s))
    for (S word : words)
      score += scoredSearch_score_single(s, word);
  ret score;
}

static int scoredSearch_score(S s, S query) {
  ret scoredSearch_score(s, scoredSearch_prepare(query));
}