The counter data type is a 32 bit integer. Its use is deprecated in favor of the integer data type.
The default value of a counter is 1.
The counter data type will be removed in a future version of the language.