__vector_copy_construct: deletion of vectors handled