#include <limits.h>
/* #undef TIMER_MAX */
/* MIN: _POSIX_TIMER_MAX */
/* MAY-BE-UNEFINED */
/*
POSIX(199309)
*/