Updating: improving libats/gvector