Constant PR_SET_MM_EXE_FILE 

pub const PR_SET_MM_EXE_FILE: i32 = 13;