#include <limits.h>
/* #undefine SEM_VALUE_MAX */
/* MIN: _POSIX_SEM_VALUE_MAX */
/* MAY-BE-UNEFINED */
/*
POSIX(199309)
*/