def mp3.body
import emerging-ezaudio@0.4.0.0/src/mp3.bend as Mp3import Base
406def mp3.body(
407 empty: Bool, +hz: U32, +ch: U32, +kind: U32, +frames: List<&2, U32>
408) -> Maybe<&2, List<&2, U32>>:
409 match empty:
410 case True{}:
411 None{}
412 case False{}:
413 mp3.nz(frames.zero(frames), hz, ch, kind, frames)