The whole stamped reference thing is not needed, it's only every updated from a single thread in LeaderAppointer. Volatile is sufficient.