static void WriteVarint64(Stream stream, ulong value) { for (; value >= 0x80u; value >>= 7) stream.WriteByte((byte)(value | 0x80u)); stream.WriteByte((byte)value); }