Constant _POSIX_SAVED_IDS 

pub const _POSIX_SAVED_IDS: u32 = 200112;