pub const PR_SET_MM: u32 = 35; // 35u32