Updating: improving libats/dlist_vt.