svoid dm_resetModuleName(O mod) {
  dm_setModuleName(snippetTitle(dm_moduleSnippetID(mod)));
}