def CrCrc64.init
import bend-osdev-crypto@0.1.0.0/inst_crc.bend as InstCrcimport Base
import bend-osdev-word64@0.1.0.0/word64.bend as W
import bend-osdev-crc@0.1.0.0/crc.bend as C
33def CrCrc64.init(~spec: C.Crc64Spec) -> W.W64:
34 C.Crc64Spec.start(spec)