pub const __AUDIT_ARCH_64BIT: u32 = 0x0800_0000;