static void printScore(S desc, double score, double total) {
  print("[" + ratioToIntPercent_floor(score, total) + "%] " + score + "/" + total + ": " + desc);
}