Constant sgx_libc::_SC_TIMER_MAX

pub const _SC_TIMER_MAX: i32 = 35;