Debugging the translation