def hdr.crc
import emerging-ezaudio@0.4.0.0/src/mp3.bend as Mp3import Base
66# protection bit 0 means a 16-bit CRC follows the header
67def hdr.crc(xs: List<&2, U32>) -> U32:
68 match xs:
69 case _b0 <> +b1 <> _b2 <> _b3 <> _rest:
70 U32.xor((b1 .&. 1 : U32), 1)
71 case _:
72 0