pub type FAULT_INFORMATION_ARM64_TYPE = i32;