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