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

static <A> A dm_profileThisThread(int interval default poorMansProfiling_defaultInterval(), IF0<A> f) {
  new Var<A> v;
  dm_profileThisThread(interval, r { v.set(f!) });
  ret v!;
}