Re: [PATCH 1/3] kerberos: Fix printing of the sequence message number.