for (int i = 0; i < 3; i++) {
int* pid = static_cast<int*>(simgrid::s4u::this_actor::recv(mailbox));
XBT_INFO("Killing process \"%d\".", *pid);
for (int i = 0; i < 3; i++) {
int* pid = static_cast<int*>(simgrid::s4u::this_actor::recv(mailbox));
XBT_INFO("Killing process \"%d\".", *pid);