svoid dm_pointSubmoduleToMe(O subModule) {
  setOpt(subModule, dm_current_mandatory_generic_value := dm_current_mandatory_generic());
}