Got debugging to a point where incrementing the counter fails CAS even though ptrEq is satisfied and the value is an abstract ticket.