- simgrid::s4u::Mailbox* mailbox = simgrid::s4u::Mailbox::by_name("receiver");
- void* data = (void*)2;
- data = mailbox->get();
- xbt_die("get() has returned (even though it shouldn't!) with a %s message",
- (data == nullptr ? "null" : "non-null"));
+ auto mailbox = simgrid::s4u::Mailbox::by_name("receiver");
+ int data = *(int*)mailbox->get();
+ XBT_INFO("Got %d at the end", data);