def main

bend-osdev-bytes@0.1.1.0 · check.bend:32

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

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