def step.size.at
import emerging-ezaudio@0.4.0.0/src/wav.bend as Wavimport Base
270def step.size.at(
271 last: Bool, +left: U32, +tag: U32, +seen: U32, +kind: U32, +ch: U32, +rate: U32,
272 acc: List<&2, U32>, frames: List<&2, U32>
273) -> St:
274 match last:
275 case False{}:
276 st.set(1, (left - 1 : U32), tag, 0, seen, kind, ch, rate, acc, frames)
277 case True{}:
278 step.size.done(word.of(acc, 0), tag, seen, kind, ch, rate, frames)