TODO: free ATS checker