public static void Encode(IByteWriter stream, AccountEntryExt encodedAccountEntryExt) {
 XdrEncoding.EncodeInt32(encodedAccountEntryExt.Discriminant, stream);
 switch (encodedAccountEntryExt.Discriminant) {
 case 0:
 break;
 }
 }
 public static AccountEntryExt Decode(IByteReader stream) {
   AccountEntryExt decodedAccountEntryExt = new AccountEntryExt();
 decodedAccountEntryExt.Discriminant = XdrEncoding.DecodeInt32(stream);
 switch (decodedAccountEntryExt.Discriminant) {
 case 0:
 break;
 }
   return decodedAccountEntryExt;
 }