[Translators-l] Translation of ISA