pub type WER_FAULT_REPORTING = u32;