def hd.d1
import bend-osdev-acpi@0.1.1.0/header.bend as Headerimport Base
import bend-osdev-bytes@0.1.1.0/bytes.bend as B
import bend-osdev-acpi@0.1.1.0/error.bend as E
160def hd.d1(m: Maybe<&2, B.OctetsSplit>, +all: B.Octets) -> Result<&2, &2, E.AcpiError, AcpiHeader>:
161 match m:
162 case None{}:
163 Fail{hd.short(all)}
164 case Some{B.OctetsSplit{f, rest}}:
165 hd.d2(B.Octets.split_at(4n, rest), all, f)