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 250922c42fb1dcef5ce7ce89820538f53498ca37)