public static void WriteKey(Stream stream, Key key) { uint n = (key.Field << 3) | ((uint)key.WireType); WriteUInt32 (stream, n); }