Func - mbox_get_head (void*, smx_synchro_t) (mbox, void*, smx_mailbox_t)
Proc - mbox_set_receiver (void) (mbox, void*, smx_mailbox_t) (receiver, void*, smx_process_t)
Func - mbox_get_receiver (void*, smx_process_t) (mbox, void*, smx_mailbox_t)
Func - mbox_get_head (void*, smx_synchro_t) (mbox, void*, smx_mailbox_t)
Proc - mbox_set_receiver (void) (mbox, void*, smx_mailbox_t) (receiver, void*, smx_process_t)
Func - mbox_get_receiver (void*, smx_process_t) (mbox, void*, smx_mailbox_t)