bend-collections@1.0.0.0 · src/crypto/mac.bend:17
import bend-collections@1.0.0.0/src/crypto/mac.bend as Mac
import Base 17def block_len() -> Nat: 18 64n