def hf.next
import emerging-ezaudio@0.4.0.0/src/mp3_dec.bend as Mp3Decimport Base
218def hf.next(stop: Bool, +leaf: U32, +bits: List<&2, U32>, +w: U32, +book: U32, +huff: List<&2, U32>) -> Nd:
219 match stop:
220 case True{}:
221 hf.hold(leaf, bits, w)
222 case False{}:
223 hf.dive(leaf, bits, w, book, huff)