Symbol: sati_translate_command