It's the "generator" for monotonically increasing thread ids