pub const PR_MCE_KILL: u32 = 33;