static void send_tasks(int nb_workers)
{
for (int i = 0; i < nb_workers; i++) {
char mbox_name[MAXMBOXLEN];
snprintf(mbox_name, MAXMBOXLEN, "MBOX:WRK%02d", i);
static void send_tasks(int nb_workers)
{
for (int i = 0; i < nb_workers; i++) {
char mbox_name[MAXMBOXLEN];
snprintf(mbox_name, MAXMBOXLEN, "MBOX:WRK%02d", i);