static ReliableSingleThread rstWithEnter(IF0<AutoCloseable> enter, Runnable r) {
  ReliableSingleThread rst = new(r);
  r.enter = enter;
  ret rst;
}