/// <summary>
/// Flushes any buffered data to the underlying stream (if there is one).
/// </summary>
public void Flush()
{
var span = new Span <byte>(buffer);
WriteBufferHelper.Flush(ref span, ref state);
}
internal void Flush()
{
WriteBufferHelper.Flush(ref buffer, ref state);
}
