Data.SBV.Examples.Existentials.CRCPolynomial
type SWord48
crc_48_16
diffCount
crcGood
genPoly
findHD4Polynomials