def walk.hdr
import emerging-ezaudio@0.4.0.0/src/mp3.bend as Mp3import Base
576def walk.hdr(sync: Bool, st: Wk, +buf: List<&2, U32>) -> Wk:
577 match sync:
578 case False{}:
579 wk.seek(st, win.tail(buf))
580 case True{}:
581 walk.good(frm.yes(buf), st, buf)