while(procstate->interleave_count < xbt_dynar_length(process->request.comm_testany.comms)){
if(MC_request_is_enabled_by_idx(&process->request, procstate->interleave_count++)){
*value = procstate->interleave_count - 1;
while(procstate->interleave_count < xbt_dynar_length(process->request.comm_testany.comms)){
if(MC_request_is_enabled_by_idx(&process->request, procstate->interleave_count++)){
*value = procstate->interleave_count - 1;