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 02118e9cbed77f3897084a4a507da3f11ac8881e)