def Crc64Spec.start
import bend-osdev-crc@0.1.0.0/crc.bend as Crcimport Base
import bend-osdev-word64@0.1.0.0/word64.bend as W
232def Crc64Spec.start(spec: Crc64Spec) -> W.W64:
233 match spec:
234 case Crc64Spec{poly, init, reflected, xorout}:
235 Crc64Spec.start.go(reflected, init)