Another implementation of ATS