sS dm_copyModuleToOtherOSInstance(S localOSAddress, O mod) {
  if (!isStefansOSAtLocalAddress(localOSAddress))
    fail("No OS instance found at " + localOSAddress);
  S struct = dm_moduleStructForDuplication(mod);
  ret sendTo(localOSAddress, "restore module: " + struct);
}