Updating: improving libats/dllist.