English register transfer level representations: translation to other languages