A little retranslator