library zx;

using status = int32;
using time = int64;
using duration = int64;
using clock = uint32;
using koid = uint64;
using vaddr = uint64;
using paddr = uint64;
using paddr32 = uint32;
using gpaddr = uint64;
using off = uint64;
using rights = uint32;
using signals = uint32;
using vm_option = uint32;