def head.u32.eight
import bend-kit-cbor@0.3.0.0/cbor.bend as Cborimport Base
84def head.u32.eight(fits: Bool, +major: U32, +v: U32, o: W) -> W:
85 match fits:
86 case True{}:
87 byte(byte(o, ((major << 5n) .|. 24 : U32)), v)
88 case False{}:
89 head.u32.sixteen(U32.is_le(v, 65535), major, v, o)