Block.block: def of bend-collections@1.0.0.0
Import: import bend-collections@1.0.0.0/src/math/random/chacha8/block.bend as Block
Lines 140-142 of bend-collections@1.0.0.0/src/math/random/chacha8/block.bend: https://jend.leeeet.dev/read.txt?path=bend-collections@1.0.0.0/src/math/random/chacha8/block.bend&start_line=140&end_line=142

import Base

# the ChaCha8Rand block with counter ctr: eight rounds
def block(+k: Key, +ctr: U32) -> Vector:
  finish(k,dr(dr(dr(dr(init(k,ctr))))))

Uses (6):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32
  https://jend.leeeet.dev/definition.txt?path=bend-collections@1.0.0.0/src/math/random/chacha8/block.bend&name=Key
  https://jend.leeeet.dev/definition.txt?path=bend-collections@1.0.0.0/src/math/random/chacha8/block.bend&name=Vector
  https://jend.leeeet.dev/definition.txt?path=bend-collections@1.0.0.0/src/math/random/chacha8/block.bend&name=dr
  https://jend.leeeet.dev/definition.txt?path=bend-collections@1.0.0.0/src/math/random/chacha8/block.bend&name=finish
  https://jend.leeeet.dev/definition.txt?path=bend-collections@1.0.0.0/src/math/random/chacha8/block.bend&name=init