public static void Encode(IByteWriter stream, ThresholdIndexes value) { XdrEncoding.EncodeInt32((int)value.InnerValue, stream); }