Check.main: def of bend-osdev-bytes@0.1.1.0
Import: import bend-osdev-bytes@0.1.1.0/check.bend as Check
Lines 32-45 of bend-osdev-bytes@0.1.1.0/check.bend: https://jend.leeeet.dev/read.txt?path=bend-osdev-bytes@0.1.1.0/check.bend&start_line=32&end_line=45

import Base
import bend-osdev-word64@0.1.1.0/word64.bend as W
import bend-osdev-bytes@0.1.1.0/bytes.bend as B

def main() -> IO(Unit):
  do IO<Unit>:
    IO.print(B.hex(B.be32(305419896)))
    IO.print(B.hex(B.le32(305419896)))
    IO.print(B.hex(B.le64(W.W64.from_parts(16909060, 84281096))))
    IO.print(show_u32(B.be16_at([0, 1, 2, 3], 1n)))
    IO.print(show_u32(B.le32_at(B.of_string("Bend"), 0n)))
    IO.print(show_w64(B.be64_at([0, 1, 2, 3, 4, 5, 6, 7, 8], 1n)))
    IO.print(show_u32(B.le32_at([1, 2, 3], 0n)))
    IO.print(B.hex(B.append(B.take(2n, [1, 2, 3, 4]), B.zeros(2n))))
    IO.print(B.to_string(B.drop(2n, B.of_string("osdev"))))
    IO.print(Bool.show(same_as_list(B.Octets.of_list(ramp(3000n, Nil{})))))
    IO.print(Nat.show(B.Octets.len(B.Octets.append(B.Octets.of_list(ramp(60000n, Nil{})), B.Octets.zeros(40000n)))))
    IO.print(String.take(B.Octets.hex(B.Octets.drop(59998n, B.Octets.of_list(ramp(60000n, Nil{})))), 4n))

Uses (32):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool.show
  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=Nat.show
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String.take
  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.append
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-bytes@0.1.1.0/bytes.bend&name=Octets.drop
  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.len
  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-bytes@0.1.1.0/bytes.bend&name=Octets.zeros
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-bytes@0.1.1.0/bytes.bend&name=append
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-bytes@0.1.1.0/bytes.bend&name=be16_at
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-bytes@0.1.1.0/bytes.bend&name=be32
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-bytes@0.1.1.0/bytes.bend&name=be64_at
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-bytes@0.1.1.0/bytes.bend&name=drop
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-bytes@0.1.1.0/bytes.bend&name=hex
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-bytes@0.1.1.0/bytes.bend&name=le32
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-bytes@0.1.1.0/bytes.bend&name=le32_at
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-bytes@0.1.1.0/bytes.bend&name=le64
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-bytes@0.1.1.0/bytes.bend&name=of_string
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-bytes@0.1.1.0/bytes.bend&name=take
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-bytes@0.1.1.0/bytes.bend&name=to_string
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-bytes@0.1.1.0/bytes.bend&name=zeros
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-bytes@0.1.1.0/check.bend&name=ramp
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-bytes@0.1.1.0/check.bend&name=same_as_list
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-bytes@0.1.1.0/check.bend&name=show_u32
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-bytes@0.1.1.0/check.bend&name=show_w64
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-word64@0.1.1.0/word64.bend&name=W64.from_parts