UNSTABLE4
case UNSTABLE4:
if (args->stable == UNSTABLE4)
resp->committed = UNSTABLE4;
stab_comm = UNSTABLE4;
if (stab_comm == UNSTABLE4)
if (wres->committed == UNSTABLE4) {
*stab_comm = UNSTABLE4;