krb5 types and structures