def read.got
import bend-kit-bits@0.1.0.1/bits.bend as Bitsimport Base
59def read.got(+msb: Bool, +len: U32, +pos: U32, +n: U32, r: Array<U32> & U32) -> Reader & Maybe<&2, U32>:
60 (a, +w) = r
61 (Reader{len, a, (pos + n : U32)}, Some{field(msb, n, w)})