Symbol: krb5_sequence_check