Translated debugging