def Crc32Spec.start
import bend-osdev-crc@0.1.0.0/crc.bend as Crcimport Base
200def Crc32Spec.start(spec: Crc32Spec) -> U32:
201 match spec:
202 case Crc32Spec{+width, poly, init, reflected, xorout}:
203 Crc32Spec.start.go(reflected, init, width)