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.099dev (GIT hash a1331a3dc7ff37424401d3c7d0dba5be1302516f)