static void poorMansProfiling_saveResults() {
  final MultiSet<S> ms = poorMansProfiling_results();
  int n = ms.size();
  saveTextFile(getProgramFile("profile.txt"), joinMap(ms.highestFirst(), func(S trace) {
    ms.get(trace) + "/" + n + "\n" + trace + "\n\n"
  }));
}