Streebog.hs.stb.c12: def of bend-osdev-hashes@0.1.0.0
Import: import bend-osdev-hashes@0.1.0.0/streebog.bend as Streebog
Lines 694-695 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=694&end_line=695

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

def hs.stb.c12() -> Hs.HsW16:
  Hs.HsW16{4045133600, 1220317770, 3652328345, 4210300885, 2296457298, 3877479594, 412208262, 1568731037, 807509915, 4162851540, 3168738679, 3450092594, 71938426, 3524493488, 4044763578, 932112231}

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