Symbol: sati_verify_12_translate_command