Constant MINCORE_MODIFIED_OTHER 

pub const MINCORE_MODIFIED_OTHER: c_int = 0x10;