def ckr.z4

bend-osdev-acpi@0.1.2.0 · PROOF_rsdp.bend:201

import Base
import bend-osdev-bytes@0.1.1.1/bytes.bend as B

201def ckr.z4() -> {B.Octets.zeros(4n) == B.Octets.append(B.Octets.of_list([0]), B.Octets.zeros(3n)) : B.Octets}:
202  {==}