def read
import bend-kit-bits@0.1.0.1/bits.bend as Bitsimport Base
70def read(+msb: Bool, r: Reader, +n: U32) -> Reader & Maybe<&2, U32>:
71 Reader{+len, buf, +pos} = r
72 read.if(U32.is_le(n, U32.min(32, ((len << 3n) - pos : U32))), msb, len, buf, pos, n)