Updating: improving a ATS-DEV-LIST example