static void dm_popInModule(O module) {
  dm_callOS('stefansOS_popInModule, dm_getStem(module));
}

static void dm_popInModule() {
  dm_popInModule(dm_current_generic_mandatory());
}