static Pair<Int> testResults_okOfTotal() {
  L<TestResult> l = getTestResults();
  int numOK = countWhere(l, okPercentage := 100.0);
  ret pair(numOK, l(l));
}