Constant PR_SET_MM_EXE_FILE 

pub const PR_SET_MM_EXE_FILE: c_int = 13;