def pr.start
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
309def pr.start(pax: Pax, r: Bytes.Cursor & U32) -> Bytes.Cursor & Maybe<&1, Pax>:
310 (c, +n) = r
311 pr.run(U32.to_nat(((n >> 1n) + 2 : U32)), (c, PGo{pax}))