English analog programming and checking: переклад на інші мови