+ sem = MSG_sem_init(1);
+ char** aliceTimes = xbt_new(char*, 9);
+ int nbAlice = 0;
+ aliceTimes[nbAlice++] = xbt_strdup("0");
+ aliceTimes[nbAlice++] = xbt_strdup("1");
+ aliceTimes[nbAlice++] = xbt_strdup("3");
+ aliceTimes[nbAlice++] = xbt_strdup("5");
+ aliceTimes[nbAlice++] = xbt_strdup("1");
+ aliceTimes[nbAlice++] = xbt_strdup("2");
+ aliceTimes[nbAlice++] = xbt_strdup("5");
+ aliceTimes[nbAlice++] = xbt_strdup("0");
+ aliceTimes[nbAlice++] = NULL;