Constant sgx_libc::_SC_SS_REPL_MAX

pub const _SC_SS_REPL_MAX: i32 = 241;