def dec.byte.of
import bend-kit-tar@0.3.0.0/tar.bend as Tarimport Base
import bend-kit-bytes@0.3.3.0/bytes.bend as Bytes
78def dec.byte.of(+len: U32, r: Array<U32> & U32) -> Bytes.Bytes & Maybe<&2, DByte>:
79 (a, +b) = r
80 (Bytes.Bytes{len, a}, Some{DByte{b, Bytes.in(48, b, 57)}})