vector dtor mechanism