static void dm_popOutModule_alwaysOnTop(O module) {
  dm_popOutModule(module);
  alwaysOnTop(getFrame(dm_vis(module)));
}

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