void handle_comm_pattern(e_mc_call_type_t call_type, smx_simcall_t request, int value, xbt_dynar_t current_pattern, int backtracking);
void comm_pattern_free_voidp(void *p);
void list_comm_pattern_free_voidp(void *p);
void handle_comm_pattern(e_mc_call_type_t call_type, smx_simcall_t request, int value, xbt_dynar_t current_pattern, int backtracking);
void comm_pattern_free_voidp(void *p);
void list_comm_pattern_free_voidp(void *p);