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

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

def hs.stb.c3() -> Hs.HsW16:
  Hs.HsW16{179964594, 2568918773, 2256198449, 3266769987, 1617091337, 3251190327, 2419433137, 3554807780, 2972285819, 4075451668, 1385963403, 116481631, 1782416437, 171572264, 734932935, 4118076588}

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