def hdr.index
import emerging-ezaudio@0.4.0.0/src/mp3.bend as Mp3import Base
34# bitrate index, 0 and 15 are not a frame
35def hdr.index(xs: List<&2, U32>) -> U32:
36 match xs:
37 case _b0 <> _b1 <> +b2 <> _b3 <> _rest:
38 (b2 >> 4n : U32)
39 case _:
40 0