use global token counter