+ void *src_buff, size_t src_buff_size,
+ int (*)(void *, void *), void *data,
+ int detached);
+void SIMIX_comm_recv(smx_process_t dst_proc, smx_rdv_t rdv,
+ void *dst_buff, size_t *dst_buff_size,
+ int (*)(void *, void *), void *data,
+ double timeout);