svoid dm_releaseResource(AutoCloseable resource) {
  dm_current_mandatory()._resources.remove(resource);
  close(resource);
}