def hf.idx
import emerging-ezaudio@0.4.0.0/src/mp3_dec.bend as Mp3Decimport Base
208def hf.idx(+book: U32, +pk: U32, +leaf: U32) -> U32:
209 (book + (pk - asr.u3(se.u16(leaf)) : U32) : U32)
import emerging-ezaudio@0.4.0.0/src/mp3_dec.bend as Mp3Decimport Base
208def hf.idx(+book: U32, +pk: U32, +leaf: U32) -> U32:
209 (book + (pk - asr.u3(se.u16(leaf)) : U32) : U32)