produced a bug in ATS