KRB5_AFS3_SALT
salt.salttype = KRB5_AFS3_SALT;
salt->salttype = KRB5_AFS3_SALT;
else if(salt->salttype == KRB5_AFS3_SALT) {
case KRB5_AFS3_SALT:
KRB5_AFS3_SALT,