bend-toon-codec@0.1.0.0 · src/hdr.bend:16
import bend-toon-codec@0.1.0.0/src/hdr.bend as Hdr
import Base 16def empty() -> Hdr: 17 Hdr{0, 44, Nil{}, SNil{}}