Another use-case for io: I need to redirect input to output. The best solution without creating intermediate buffer I found is to write:

while (!endOfInput){
    out.writeByte(readByte())
}

If I understand current IO logic correctly, the input in general has a sequence of pooled buffers, so it would be simple to redirect those buffers directly to the output, but I can't find a way to do it with current API.

Isn't there a

Input.copyTo(Output)

function?

I'll check, thanks