Declare result of the MemoryAddress.copy are unspecified if non-overlapping regions are backed by the same overlapping storage.