static void dm_popOutModule(O module) {
  dm_showModule(module);
  dm_callOS('stefansOS_popOutModule, dm_getStem(module));
}

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