Add identifier_integer
Add counterIncrement