_POSIX_TIMER_MAX
return _POSIX_TIMER_MAX;
#ifdef _POSIX_TIMER_MAX
{ "_POSIX_TIMER_MAX", _POSIX_TIMER_MAX, 32 },