public static void Encode(IByteWriter stream, Uint32 encodedUint32) { XdrEncoding.EncodeUInt32(encodedUint32.InnerValue, stream); }