static ReliableSingleThread dm_rst_inInit(Runnable r) {
  ret dm_rst(dm_current_mandatory(), r);
}