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