Constant PR_SET_MM_MAP_SIZE 

const PR_SET_MM_MAP_SIZE: usize = 15;