Updating: using ats2-lang for testing