def ex.at

import bend-osdev-acpi@0.1.1.0/example.bend as Example

import Base

46def ex.at(off: U32) -> U32:
47  U32.add(AcpiExample.base(), off)

Uses (3)