cas_reset
cas_reset(cp, 0);
cas_reset(cp, !(pending_all > 0));
cas_reset(cp, !(pending == CAS_RESET_ALL));
cas_reset(cp, 0);
cas_reset(cp, 0);
cas_reset(cp, 0);
cas_reset(cp, 0);
cas_reset(cp, 0);