Symbol: decode_krb5_sam_challenge_2_body