public static void Encode(XdrDataOutputStream stream, AuthCert encodedAuthCert)
 {
     Curve25519Public.Encode(stream, encodedAuthCert.Pubkey);
     Uint64.Encode(stream, encodedAuthCert.Expiration);
     Signature.Encode(stream, encodedAuthCert.Sig);
 }
 public static void Encode(XdrDataOutputStream stream,
                           SignedSurveyResponseMessage encodedSignedSurveyResponseMessage)
 {
     Signature.Encode(stream, encodedSignedSurveyResponseMessage.ResponseSignature);
     SurveyResponseMessage.Encode(stream, encodedSignedSurveyResponseMessage.Response);
 }