pub const PR_SET_MM_MAP_SIZE: c_int = 15;