def HsMd.start
import bend-osdev-hashes@0.1.0.0/hashes.bend as Hashesimport Base
import bend-osdev-word64@0.1.0.0/word64.bend as W
113# the state before any byte, from the initial chaining value
114def HsMd.start(~C: Data, cv: C) -> HsMdState<C>:
115 HsMdState{cv, Nil{}, 0, W.W64.zero()}