We need to come up with a cross-platform semantics for this operation.