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

import Base
import bend-osdev-bytes@0.1.1.0/bytes.bend as B
import bend-osdev-mode-core@0.1.0.0/mode_core.bend as M

def main() -> IO(Unit):
  +b : M.CmBlock = M.CmBlock{1122867, 1146447479, 2291772091, 3437096703}
  do IO<Unit>:
    IO.print("zero " ++ M.CmBlock.hex(M.CmBlock.zero()))
    IO.print("block " ++ M.CmBlock.hex(b))
    IO.print("xor " ++ M.CmBlock.hex(M.CmBlock.xor(b, key())))
    IO.print("to_octets " ++ B.Octets.hex(M.CmBlock.to_octets(b)))
    IO.print("of_octets " ++ maybe(M.CmBlock.of_octets(M.CmBlock.to_octets(b))))
    IO.print("of_octets_15 " ++ maybe(M.CmBlock.of_octets(B.Octets.of_list([0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14]))))
    IO.print("dec_enc " ++ hexs(M.CmBlock.dec_enc(~M.CmBlock, ~toy.enc, ~toy.dec, key(), [b, key(), M.CmBlock.zero()])))

Uses (20):
  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=List
  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.0/bytes.bend&name=Octets.hex
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-bytes@0.1.1.0/bytes.bend&name=Octets.of_list
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-mode-core@0.1.0.0/check.bend&name=hexs
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-mode-core@0.1.0.0/check.bend&name=key
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-mode-core@0.1.0.0/check.bend&name=maybe
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-mode-core@0.1.0.0/check.bend&name=toy.dec
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-mode-core@0.1.0.0/check.bend&name=toy.enc
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-mode-core@0.1.0.0/mode_core.bend&name=CmBlock
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-mode-core@0.1.0.0/mode_core.bend&name=CmBlock.dec_enc
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-mode-core@0.1.0.0/mode_core.bend&name=CmBlock.hex
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-mode-core@0.1.0.0/mode_core.bend&name=CmBlock.of_octets
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-mode-core@0.1.0.0/mode_core.bend&name=CmBlock.to_octets
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-mode-core@0.1.0.0/mode_core.bend&name=CmBlock.xor
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-mode-core@0.1.0.0/mode_core.bend&name=CmBlock.zero