int session;
unsigned long int sent_msg; /* Total amount of messages sent during the simulation */
void (*task_copy_callback) (m_task_t task, m_process_t src, m_process_t dst);
int session;
unsigned long int sent_msg; /* Total amount of messages sent during the simulation */
void (*task_copy_callback) (m_task_t task, m_process_t src, m_process_t dst);