Constant MAX_FATAL_kGUARD_EXC_CODE 

pub const MAX_FATAL_kGUARD_EXC_CODE: u32 = 64;