def walk.arm
import emerging-ezaudio@0.4.0.0/src/mp3.bend as Mp3import Base
562def walk.arm(big: Bool, st: Wk, +buf: List<&2, U32>) -> Wk:
563 match big:
564 case False{}:
565 wk.bad(st)
566 case True{}:
567 wk.read(st, (frame.of(buf) - 4 : U32), buf)