This makes switching to encode2() simpler, because it allows us to know
exactly how large should the output buffer be before we start writing
into it.