pub const PR_MCE_KILL: u32 = 33; // 33u32