English machine-instruction code: translation to other languages