static void poorMansProfiling_saveResults() {
  final MultiSet<S> ms = poorMansProfiling_results();
  final int n = ms.size();
  print();
  saveTextFileVerbose(getProgramFile("profile.txt"), poorMansProfiling_renderFullResults(ms));
}