svoid dm_profileThisThread(Runnable r) {
  dm_showText("Profile", profileThisThreadToString(r));
}

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