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