Constant sgx_libc::_SC_TRACE_USER_EVENT_MAX

pub const _SC_TRACE_USER_EVENT_MAX: i32 = 245;