English bytecode: translation to other languages