какая рыба в океане плавает быстрее всех
ATS

гугл пока только глупости про это говорит,
пытаясь поправить дикцию.
еще из нового: программы на новом языке повышенной
длинности, но это как бы специально: потому что
они кроме просто работы еще и доказывают
свою правильность.