static void dm_popOutAndActivateModule(O module) {
  dm_popOutModule(module);
  activateFrame(dm_vis(module));
}

static void dm_popOutAndActivateModule() {
  dm_popOutAndActivateModule(dm_current_mandatory());
}