TreiberStack refactoring