"Semaphore initial value too big: %ud cannot be stored as a signed int",
value);
res = (xbt_os_sem_t) xbt_new0(s_xbt_os_sem_t, 1);
if (!(res->h = CreateSemaphore(NULL, value, (long) INT_MAX, NULL))) {
"Semaphore initial value too big: %ud cannot be stored as a signed int",
value);
res = (xbt_os_sem_t) xbt_new0(s_xbt_os_sem_t, 1);
if (!(res->h = CreateSemaphore(NULL, value, (long) INT_MAX, NULL))) {