Counter operations with label references
