Symbol: decode_krb5_sam_response