int comm_waitany(xbt_dynar_t comms) [[block]];
void comm_wait(smx_synchro_t comm, double timeout) [[block]];
int comm_test(smx_synchro_t comm) [[block]];
int comm_waitany(xbt_dynar_t comms) [[block]];
void comm_wait(smx_synchro_t comm, double timeout) [[block]];
int comm_test(smx_synchro_t comm) [[block]];
int mc_random(int min, int max);
void set_category(smx_synchro_t synchro, const char* category) [[nohandler]];
int mc_random(int min, int max);
void set_category(smx_synchro_t synchro, const char* category) [[nohandler]];