def name.fin
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
115# Header i's name: prefix "/" name when the magic is POSIX ustar and the prefix is not empty.
116def name.fin(+total: U32, r: Array<U32> & Array<U32>) -> Array<U32> & Bytes.Bytes:
117 (a, o) = r
118 (a, Bytes.Bytes{total, o})