def ex.hdr
import bend-osdev-acpi@0.1.1.0/example.bend as Exampleimport Base
import bend-osdev-bytes@0.1.1.0/bytes.bend as B
import bend-osdev-acpi@0.1.1.0/header.bend as H
33def ex.hdr(s: String, r: U32) -> H.AcpiHeader:
34 H.AcpiHeader.make(B.Octets.of_string(s), r, B.Octets.of_string("BENDOS"), B.Octets.of_string("EXAMPLE"))