encoderGetBytesMixedInput(encoder, c, 2, asciiSize, unicodeSize0, unicodeSize1);
public EncoderBuffer(encoder value) => m_value = value;
public taggedEncoder(array <byte> scratch = default, encoder tag = default, encoder body = default) { this.scratch = scratch; this.tag = tag; this.body = body; }