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

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