Check.main: def of bend-osdev-cipher-core@0.1.0.0
Import: import bend-osdev-cipher-core@0.1.0.0/check.bend as Check
Lines 80-95 of bend-osdev-cipher-core@0.1.0.0/check.bend: https://jend.leeeet.dev/read.txt?path=bend-osdev-cipher-core@0.1.0.0/check.bend&start_line=80&end_line=95

import Base
import bend-osdev-bytes@0.1.1.0/bytes.bend as B
import bend-osdev-cipher-core@0.1.0.0/cipher_core.bend as L
import bend-osdev-cipher-core@0.1.0.0/modes64.bend as X

def main() -> IO(Unit):
  do IO<Unit>:
    IO.print(L.LcBlock64.hex(toy_key()))
    IO.print(B.Octets.hex(L.LcBlock64.to_octets(toy_key())))
    IO.print(show_some(L.LcBlock64.of_octets(L.LcBlock64.to_octets(toy_key()))))
    IO.print(show_some(L.LcBlock64.of_octets(B.Octets.zeros(7n))))
    IO.print(L.LcBlock64.hex(L.LcBlock64.xor(toy_key(), L.LcBlock64{4294967295, 0})))
    IO.print(word(L.lc.bswap.bits(16909060)) ++ " " ++ word(L.lc.rotl1.bits(2147483649)) ++ " " ++ word(L.lc.rotl(2147483649, 1n)) ++ " " ++ word(L.lc.rotl31.bits(3)))
    IO.print(word(L.lc.be(1, 2, 3, 4)) ++ " " ++ word(L.lc.le(1, 2, 3, 4)) ++ " " ++ word(L.lc.byte(16909060, 3n)))
    IO.print(tab())
    IO.print(feistel(L.LcBlock64{305419896, 2596069104}))
    IO.print(show_blocks(X.Lc64.blocks_of(msg())))
    IO.print(ecb(msg()))
    IO.print(cbc(iv(), msg()))
    IO.print(cbc(B.Octets.zeros(7n), msg()))
    IO.print(ecb(B.Octets.zeros(9n)))

Uses (30):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=IO
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=IO.bind
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=IO.print
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String.append
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Unit
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-bytes@0.1.1.1/bytes.bend&name=Octets.hex
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-bytes@0.1.1.1/bytes.bend&name=Octets.zeros
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-cipher-core@0.1.0.0/check.bend&name=cbc
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-cipher-core@0.1.0.0/check.bend&name=ecb
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-cipher-core@0.1.0.0/check.bend&name=feistel
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-cipher-core@0.1.0.0/check.bend&name=iv
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-cipher-core@0.1.0.0/check.bend&name=msg
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-cipher-core@0.1.0.0/check.bend&name=show_blocks
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-cipher-core@0.1.0.0/check.bend&name=show_some
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-cipher-core@0.1.0.0/check.bend&name=tab
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-cipher-core@0.1.0.0/check.bend&name=toy_key
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-cipher-core@0.1.0.0/check.bend&name=word
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-cipher-core@0.1.0.0/cipher_core.bend&name=LcBlock64
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-cipher-core@0.1.0.0/cipher_core.bend&name=LcBlock64.hex
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-cipher-core@0.1.0.0/cipher_core.bend&name=LcBlock64.of_octets
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-cipher-core@0.1.0.0/cipher_core.bend&name=LcBlock64.to_octets
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-cipher-core@0.1.0.0/cipher_core.bend&name=LcBlock64.xor
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-cipher-core@0.1.0.0/cipher_core.bend&name=lc.be
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-cipher-core@0.1.0.0/cipher_core.bend&name=lc.bswap.bits
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-cipher-core@0.1.0.0/cipher_core.bend&name=lc.byte
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-cipher-core@0.1.0.0/cipher_core.bend&name=lc.le
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-cipher-core@0.1.0.0/cipher_core.bend&name=lc.rotl
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-cipher-core@0.1.0.0/cipher_core.bend&name=lc.rotl1.bits
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-cipher-core@0.1.0.0/cipher_core.bend&name=lc.rotl31.bits
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-cipher-core@0.1.0.0/modes64.bend&name=Lc64.blocks_of