static ReliableSingleThread dm_rst(DynModule mod, Runnable r) {
  ReliableSingleThread rst = new(r);
  rst.enter = dm_rEnter(mod);
  ret rst;
}