English execution trace: translation to other languages