Constant nginx::PR_SET_MM

pub const PR_SET_MM: u32 = 35;