English software-implemented fault tolerance: translation to other languages