Updating: improving libats/ATS1/linset_listord