Any particular reason for this rather than `stream.len().input(stream)` like the vectors?

(Also, I'd guess `stream.input([0xFF])` would be simpler, not that it matters much?)