Symbol: krb5_k_verify_checksum