New semantics for store-copy