English Kernel Ada Programming Support Environment: translation to other languages