Oh ok if erase never reallocs, then it's fine I guess. But can you quote that from the standard? I think it might in some cases.