Constant sgx_libc::_SC_ATEXIT_MAX

pub const _SC_ATEXIT_MAX: i32 = 87;