static MultiSet<S> poorMansProfiling_stopAndSaveResults() {
  MultiSet<S> ms = poorMansProfiling_stopAndGetResults();
  poorMansProfiling_saveResults();
  ret ms;
}