<br />
<b>Warning</b>:  session_start(): open(/var/lib/php/sessions/sess_pemhsh8tu464l35bqjknhmtsv7, 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

p {
  File f = loadLibrary(#1200000);
  L<S> names = endingWithIC(".ctx", listFilesInZip(f));
  int good = 0, bad = 0;
  for (S name : names) {
    L<S> lines = lines(loadTextFileFromZip(f, name));
    print(name + ": " + n(lines, "lines"));
    L<S> rules = [S s : lines | javaTokC(s).contains("RULE") ];
    for (S rule : rules) {
      Explain e = explain(rule, ctxParsingRules(), "rule");
      bool ok = e != null;
      if (ok) ++good; else ++bad;
      if (!ok)
        print("  " + (ok ? "OK RULE" : "BAD RULE") + ": " + rule);
    }
  }
  print();
  print("Good rules: " + good + ", bad rules: " + bad);
}