Constant PR_SET_MM_EXE_FILE 

pub const PR_SET_MM_EXE_FILE: u32 = 13; // 13u32