static void doneProfiling() {
  poorMansProfiling_stopAndPrintResults();
}