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