def dec.lead
import bend-kit-regex@0.8.0.0/regex.bend as Regeximport Base
1365def dec.lead(ascii: Bool, +len: U32, +i: U32, +b0: U32, a: Array<U32>) -> Array<U32> & Dc:
1366 match ascii:
1367 case True{}:
1368 (a, Dc{b0, 1})
1369 case False{}:
1370 dec.b1(len, i, b0, pk(a, len, (i + 1 : U32)))