public void WriteInts(int[] v) { if (v==null){ WriteInt(-1); }else{ WriteInt(v.Length); foreach (int b in v){ Write(BitConverter.GetBytes(b)); } } }