Symbol: krb5_secure_cookie