def body.bits
import emerging-ezaudio@0.4.0.0/src/mp3_enc.bend as Mp3Encimport Base
1286def body.bits(xs: List<&2, U32>, st: Bw) -> Bw:
1287 match xs:
1288 case Nil{}:
1289 st
1290 case +hd <> tl:
1291 body.bits(tl, bw.bit(st, hd))