public void xdrEncodeShortVector(short[] value) { int size = value.Length; xdrEncodeInt(size); for (int i = 0; i < size; i++) { xdrEncodeShort(value[i]); } }