Symbol: k5_rc_tag_from_ciphertext