Streebog.hs.stb.c4: def of bend-osdev-hashes@0.1.0.0
Import: import bend-osdev-hashes@0.1.0.0/streebog.bend as Streebog
Lines 670-671 of bend-osdev-hashes@0.1.0.0/streebog.bend: https://jend.leeeet.dev/read.txt?path=bend-osdev-hashes@0.1.0.0/streebog.bend&start_line=670&end_line=671

import Base
import bend-osdev-hashes@0.1.0.0/hashes.bend as Hs

def hs.stb.c4() -> Hs.HsW16:
  Hs.HsW16{2229522734, 571260604, 2481469425, 877914785, 2471625662, 3635876659, 3976451701, 2849451138, 1751004479, 2641501357, 861682813, 1217299838, 1567745245, 4182303136, 3893716690, 4011843507}

Uses (1):
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-hashes@0.1.0.0/hashes.bend&name=HsW16