def bv.put
import emerging-ezaudio@0.4.0.0/src/mp3_enc.bend as Mp3Encimport Base
400def bv.put(ix: List<&2, U32>, +last: U32, +acc: U32, hit: Bool) -> Bv:
401 match hit:
402 case True{}:
403 Bv{ix, acc, acc}
404 case False{}:
405 Bv{ix, last, acc}