pub const PR_SET_MM_BRK: u32 = 7; // 7u32