Constant sgx_libc::_SC_THREAD_THREADS_MAX

pub const _SC_THREAD_THREADS_MAX: i32 = 76;