def hdr.crc

emerging-ezaudio@0.4.0.0 · src/mp3.bend:66

import emerging-ezaudio@0.4.0.0/src/mp3.bend as Mp3
import 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

Uses (4)

Used by (1)