/* FIXME: waitany is going to be a vararg function, and should take a timeout */
XBT_PUBLIC unsigned int simcall_comm_waitany(smx_activity_t* comms, size_t count, double timeout);
XBT_PUBLIC void simcall_comm_wait(smx_activity_t comm, double timeout);
/* FIXME: waitany is going to be a vararg function, and should take a timeout */
XBT_PUBLIC unsigned int simcall_comm_waitany(smx_activity_t* comms, size_t count, double timeout);
XBT_PUBLIC void simcall_comm_wait(smx_activity_t comm, double timeout);