def hs.stb.of_words
import bend-osdev-hashes@0.1.0.0/streebog.bend as Streebogimport Base
import bend-osdev-hashes@0.1.0.0/hashes.bend as Hs
726def hs.stb.of_words(xs: List<&2, U32>) -> Hs.HsW16:
727 match xs:
728 case [a0, a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15]:
729 Hs.HsW16{a0, a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15}
730 case _:
731 Hs.HsW16{0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0}