Constant sgx_libc::_SC_TRACE_SYS_MAX

pub const _SC_TRACE_SYS_MAX: i32 = 244;