def step.size.done
import emerging-ezaudio@0.4.0.0/src/wav.bend as Wavimport Base
261def step.size.done(
262 +sz: U32, +tag: U32, +seen: U32, +kind: U32, +ch: U32, +rate: U32, frames: List<&2, U32>
263) -> St:
264 match sz:
265 case 0:
266 st.set(0, 4, tag, sz, seen, kind, ch, rate, [], frames)
267 case _:
268 st.set(2, sz, tag, sz, seen, kind, ch, rate, [], frames)