simcall_comm_waitany__get__comms(req), value, sizeof(comm_addr));
MC_complete_comm_pattern(pattern, comm_addr,
MC_smx_simcall_get_issuer(req)->pid, backtracking);
simcall_comm_waitany__get__comms(req), value, sizeof(comm_addr));
MC_complete_comm_pattern(pattern, comm_addr,
MC_smx_simcall_get_issuer(req)->pid, backtracking);