This won't affect vectors that are passed by non-restrict reference, correct? We don't want to break code that, say, takes the address of an element and then uses it later unless we've made that invalid by marking the vector as restrict. Jason