Updating: improving libats.