def walk.good
import emerging-ezaudio@0.4.0.0/src/mp3.bend as Mp3import Base
569def walk.good(ok: Bool, st: Wk, +buf: List<&2, U32>) -> Wk:
570 match ok:
571 case False{}:
572 wk.bad(st)
573 case True{}:
574 walk.arm(le.u(5, frame.of(buf)), st, buf)