pub type WHEA_ERROR_TYPE = i32;