void MC_handle_comm_pattern(e_mc_call_type_t call_type, smx_simcall_t request, int value, xbt_dynar_t current_pattern, int backtracking);
void MC_comm_pattern_free_voidp(void *p);
void MC_list_comm_pattern_free_voidp(void *p);
void MC_handle_comm_pattern(e_mc_call_type_t call_type, smx_simcall_t request, int value, xbt_dynar_t current_pattern, int backtracking);
void MC_comm_pattern_free_voidp(void *p);
void MC_list_comm_pattern_free_voidp(void *p);