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