sbool profilePoint_print;

static void profilePoint(S name) {
  if (profilePoint_print)
    print(localDateWithMilliseconds() + ": profile point " + currentThreadID() + " " + name);
}