A hazard-pointer Treiber stack