WIP: Treiber's stack with hazard pointers