def LcRc4.keystream
import bend-osdev-legacy-ciphers@0.1.0.0/rc4.bend as Rc4import Base
import bend-osdev-bytes@0.1.0.0/bytes.bend as B
209# the next n keystream bytes (the data n zero bytes), and the state after them
210def LcRc4.keystream(st: LcRc4State, n: Nat) -> LcRc4Out:
211 LcRc4.update(st, B.Octets.zeros(n))