If your translation of a program from language X to language Y has a bug even though the translation can’t possibly be wrong in that spot, check whether the original has the same bug.