svoid dm_profileThisThread(int interval default poorMansProfiling_defaultInterval(), Runnable r) {
  dm_showText("Profile", profileThisThreadToString(r));
}