static void printTestResults() {
  L<TestResult> l = getTestResults();
  int numOK = countWhere(l, okPercentage := 100.0);
  printAsciiHeading("Test results (" + numOK + " OK of " + l(l) + ")");
  printLines(l);
  print();
}