def AcpiChecksum.fix
import bend-osdev-acpi@0.1.1.0/checksum.bend as Checksumimport Base
import bend-osdev-bytes@0.1.1.0/bytes.bend as B
36# o with its byte at offset i replaced by the checksum byte (o unchanged if
37# it has no byte i)
38def AcpiChecksum.fix(+i: Nat, +o: B.Octets) -> B.Octets:
39 ck.fix.pick(Nat.is_lt(i, B.Octets.len(o)), i, o)