WebEncodingTextEncoderEncodeIntoResultinterface TextEncoderEncodeIntoResultProperties ##read: number #written: number