Symbol: sati_verify_10_translate_command