read_bytes
io.buffered.read_bytes
read n bytes using the currently installed byte reader effect
Postcondition
post debug: {
match result
error => true
s Sequence u8 => s.count <= n
}0.098dev (GIT hash b44352b4c68decbc58a097b291a1c8f3a5a05486)