def st.done
import emerging-ezaudio@0.4.0.0/src/wav.bend as Wavimport Base
164def st.done(st: St) -> Maybe<&2, Wav>:
165 match st:
166 case St{ph, lf, _tg, _sz, sn, kd, ch, rt, _ac, fr}:
167 done.ok(U32.is_eq(ph, 0) && U32.is_eq(lf, 4) && U32.is_eq(sn, 2), rt, ch, kd, fr)