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.095dev (GIT hash 6fe4713e6f0ffc9fa21235ced6756ebe4d5da1fe)