static void EncodeTimestamp (byte[] buf, ref int index, short type, long value) { EncodeTypeAndLength (buf, ref index, type, 8); EncodeInt32 (buf, ref index, (int) (value & 0xffffffff)); EncodeInt32 (buf, ref index, (int) (value >> 32)); }