pub const panic_exception_t_PANIC_EXCEPTION_FAULT: u32 = 4; // 4u32