/* two processes may have pushed the same mbox_create simcall at the same time */
auto m = mailboxes->find(name);
if (m == mailboxes->end()) {
smx_mailbox_t mbox = new MailboxImpl(name);
/* two processes may have pushed the same mbox_create simcall at the same time */
auto m = mailboxes->find(name);
if (m == mailboxes->end()) {
smx_mailbox_t mbox = new MailboxImpl(name);