static <A> A profileSingleThreadToConsole(IF0<A> f) {
  if (f == null) null;
  temp tempProfileSingleThreadToConsole();
  ret f!;
}

svoid profileSingleThreadToConsole(Runnable r) {
  if (r == null) ret;
  temp tempProfileSingleThreadToConsole();
  r.run();
}