Rc4.LcRc4.keystream: def of bend-osdev-legacy-ciphers@0.1.0.0
Import: import bend-osdev-legacy-ciphers@0.1.0.0/rc4.bend as Rc4
Lines 209-211 of bend-osdev-legacy-ciphers@0.1.0.0/rc4.bend: https://jend.leeeet.dev/read.txt?path=bend-osdev-legacy-ciphers@0.1.0.0/rc4.bend&start_line=209&end_line=211

import Base
import bend-osdev-bytes@0.1.0.0/bytes.bend as B

# the next n keystream bytes (the data n zero bytes), and the state after them
def LcRc4.keystream(st: LcRc4State, n: Nat) -> LcRc4Out:
  LcRc4.update(st, B.Octets.zeros(n))

Uses (5):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-bytes@0.1.1.0/bytes.bend&name=Octets.zeros
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-legacy-ciphers@0.1.0.0/rc4.bend&name=LcRc4.update
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-legacy-ciphers@0.1.0.0/rc4.bend&name=LcRc4Out
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-legacy-ciphers@0.1.0.0/rc4.bend&name=LcRc4State