TreiberStack - refactoring (to be continued...)