add_bytes e s k l provides e with l bytes to write, starting at k in s. This byte range is written by calls to encode with e until `Partial is returned. Use rem to know the remaining number of non-written free bytes in s.
Warning. Do not use with non-`Manual encoder destinations.