svoid mapMethodLike dm_activateOSAndModule(O module) {
  dm_activateOS();
  dm_showModule(module);
}

svoid dm_activateOSAndModule() {
  dm_activateOSAndModule(dm_current());
}