Constant PR_SET_MM_EXE_FILE 

const PR_SET_MM_EXE_FILE: usize = 13;