static AutoCloseable tempProfileBlock(fS name) {
  if (!profilePoint_print) null;
  profilePoint(name);
  ret new AutoCloseable {
    public void close {
      profilePoint("/" + name);
    }
  };
}